1. Interval timed coloured Petri nets and their analysis;van der Aalst,1993
2. N. A. Anisimov, K. Kishinski, A. Miloslavski, and P. A. Postupalski. Macroplaces in high level Petri nets: Application for design inbound call center. In Proceedings of the Int. Conference on Information System Analysis and Synthesis (ISAS'96), Orlando, FL, USA, pages 153–160, July 1996.
3. A. Asperti. A logic for concurrency. unpublished manuscript, November 1987.
4. OBJSA nets: a class of high-level nets having objects as domains;Battiston,1988
5. B. Berthomieu, N. Choquet, C. Colin, B. Loyer, J. M. Martin, and A. Mauboussin. Abstract data nets: Combining Petri nets and abstract data types for high level specifications of distributed systems. In Proc. of the Seventh Workshop on Applications and Theory of Petri Nets, Oxford, UK, pages 25–48, 1986.