Petri nets
From HandWiki
Revision as of 08:05, 6 October 2019 by imported>Jworkorg (import)
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. Reisig85, Murata89, Ajmone94For introductory reading .