Petri nets

From HandWiki
Revision as of 09:05, 6 October 2019 by imported>Jworkorg (import)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)


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 .