MARKED GRAPH
Definition
A Marked Graph is a pure (ordinary) Petri Net system where every place has only one input transition and one output transition:
Tools
PESIM is an analysis tool for stochastic Petri Nets, which treats Marked Graphs as seperate class of nets.
References
F. Commoner, A. W. Holt, S. Even, A. Pneuli: Marked Directed Graphs [che71]
BACK