1. Petri Nets;Peterson;ACM Comput. Surv.,1977
2. Petrinetze;Reisig,1982
3. Proceedings of the advanced course on general net theory of processes and systems;Brauer,1979
4. Proc. 2nd Adv. Course on Petri Nets, Springer,1986
5. Formal models for computer security;Landwehr;ACM Comput. Surv.,1981