Petri Nets

Part of the EATCS Monographs on Theoretical Computer Science book series (EATCS, volume 13)


We have motivated the study of partially ordered sets by the claim that they may be used to define concurrent behaviour faithfully. But we have not yet specified the systems the behaviours of which are to be described.


Transition Rule Process Property Process Definition Inductive Definition Nondeterministic Choice 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  1. 1.Institut für Methodische GrundlagenGMDSt. Augustin 1Germany

Personalised recommendations