Petri nets Flashcards
Vilka kritier behövs för att ett WF-net ska var sound?
*Det finns inga döda övergångar (transitions)
*Inga “deadlocks”
*Sluttillståndet går att nå
Hur kan man undersöka att ett WF-net är sound?
Du kan gå igenom nätet steg för steg för att följa tokens.
Du kan även skapa en så kallad “reachability graph” för att modellera flödet i ett WF-net
Beskriv “start state”
Start state i ett WF-net är tillståndet (1,0,0…,0) Dvs en token i start place och alla andra platser är tomma.
Vad är Deadlock?
Deadlock är ett tillstånd som kan uppstå vid feldesignade processmodeller när gateways används fel. Detta beror ofta på felanvändning av gateways eller events som leder till loopar eller andra oförutsedda händelser.
Vad menas med Enable transition?
En transition är aktiverad när varje input place har en eller fler tokens. Om det finns två places där en har token och den andra inte så kan inte transationen skjuta.
