Concepedia
Theoretical Computer Science · 1981 · 611 citations · 2 references
ComputingComputer SystemsFormal MethodsPetri NetsColored Petri NetsInvariantsPetri Net Models
2
System modelling with high-level Petri nets
Hartmann J. Genrich, Kurt Lautenbach · Theoretical Computer Science · 1981 · 654 citations
Engineering, Computer Science, Systems Engineering +11
Concepts of Net Theory.
C. A. Petri · Mathematical Foundations of Computer Science · 1973 · 128 citations
Computing, Computer Science, Computer Networks +11