Petri nets

From HandWiki


Petri nets form a graphical language used in describing discrete parallel systems. They allow one to express the concepts of concurrency, and are used in modelling complex systems. They have been found useful in describing protocols used in networks. Hepa img1.gif Reisig85, Murata89, Ajmone94For introductory reading .