Petrinet
Van Wikipedia
Een petrinet is een bepaald type schema dat in de informatica wordt gebruikt om processen weer te geven.
Het werd oorspronkelijk bedacht door Carl Adam Petri in de jaren '60.
Een petrinet bestaat uit plaatsen, processors en tokens. Plaatsen zien er in zo'n schema over het algemeen uit als een cirkel, processors als een vierkant. Een plaats wordt altijd door middel van een processor (of transitie) met een of meer andere plaatsen verbonden door middel van pijlen die naar of van de transitie aflopen.
In een plaats kan een token zitten. Als een processor bij al zijn invoerposities (alle plaatsen die aan een ingaande pijl vastzitten) een token heeft, dan kan hij die tokens consumeren en bij al zijn uitvoerposities weer exporteren.
