Petri net: различия между версиями

A ''' Petri net''' is a finite  directed graph with two types of nodes,

referred to as '''places''' and '''transitions'''. It is a bipartite graph: every arc

goes either from a place to a transition or from a transition to a place.

Consider a transition <math>t</math>. Every place <math>p</math> (respectively, <math>q</math>) such that there is an arc from <math>t</math> to <math>p</math>