Petrinät har i stor utsträckning använts vid modellering och analys av samtidiga och distribuerade system. Kontroll och validering av Petrinät är av särskild betydelse för utvecklingen av samtidiga och distribuerade system. Som ett komplement till formella analysmetoder har tester visat sig vara effektiva när det gäller att upptäcka systemfel och är lätta att tillämpa. Ett öppet problem är hur man systematiskt, effektivt och effektivt testar Petrinät. Ett sätt att lösa detta problem är att utveckla testkriterier så att testlämplighet kan mätas objektivt och testfall kan genereras effektivt, även automatiskt. I detta dokument presenterar vi en metodik för att testa högkvalitativa Petri nät baserat på vår allmänna teori om att testa samtidiga mjukvarusystem. Fyra typer av teststrategier undersöks, som inkluderar tillståndsorienterade tester, övergångsorienterade tester, flödesorienterade tester och specifikationsorienterade tester. För varje strategi fastställs ett antal system för att observera och registrera testresultat och en uppsättning täckningskriterier för att mäta testlämpligheten. Subsumtionsförhållandena och extraktionsförhållandena mellan de föreslagna testmetoderna undersöks systematiskt och bevisas formellt.
I REF, Zhu och han presentera en metod för att testa hög nivå Petri nät för att testa samtidiga mjukvarusystem.
A methodology of testing high-level Petri nets
{'venue': 'Inf. Softw. Technol.', 'journal': 'Inf. Softw. Technol.', 'mag_field_of_study': ['Computer Science']}