Klaus Voss
-
M-net Calculus Based Semantics for Triggers
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets