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. Reisig85, Murata89, Ajmone94For introductory reading .