1. K. Jensen and L. Kristensen, Colored Petri Nets: Modeling and Validation of Concurrent Systems, Springer, N.Y. (2009).
2. M. Kohler and H. Rolke, “Properties of super-dual nets,” Fundamenta Inform., 72, 245–254 (2006).
3. I. A. Lomazova, Nested Petri Nets: Modeling and Analysis of Distributed Systems with Object Structure [in Russian], Nauchnyi Mir, Moscow (2004).
4. V. A. Bashkin, “Nets of active resources,” Modeling and Analysis of Information Systems, Vol. 14, No. 4, 13–19 (2007).
5. W. Reisig, “Petri net models of distributed algorithms,” Lecture Notes in Comput. Sci., Vol. 1000, 441–454 (1995).