1. G. Balbo, S.C. Bruell, P. Chen, G. Chiola: An Example of Modelling and Evaluation of a Concurrent Program Using Colored Stochastic Petri Nets: Lamport's Fast Mutual Exclusion Algorithm. IEEE Transactions on Parallel and Distributed Systems, 3 (1992). Also in [30], 533–559.
2. J. Berger, L. Lamontagne: A Colored Petri Net Model for a Naval Command and Control System. In: M. Ajmone-Marsan (ed.): Application and Theory of Petri Nets 1993. Proceedings of the 14th International Petri Net Conference, Chicago 1993, Lecture Notes in Computer Science Vol. 691, Springer-Verlag 1993, 532–541.
3. C. Capellmann, H. Dibold: Petri Net Based Specifications of Services in an Intelligent Network. Experiences Gained from a Test Case Application. In: M. Ajmone-Marsan (ed.): Application and Theory of Petri Nets 1993. Proceedings of the 14th International Petri Net Conference, Chicago 1993, Lecture Notes in Computer Science Vol. 691, Springer-Verlag 1993, 542–551.
4. L. Cherkasova, V. Kotov, T. Rokicki: On Net Modelling of Industrial Size Concurrent Systems. In: M. Ajmone-Marsan (ed.): Application and Theory of Petri Nets 1993. Proceedings of the 14th International Petri Net Conference, Chicago 1993, Lecture Notes in Computer Science Vol. 691, Springer-Verlag 1993, 552–561.
5. L. Cherkasova, V. Kotov, T. Rokicki: On Scalable Net Modeling of OLTP. In PNPM93: Petri Nets and Performance Models. Proceedings of the 5th International Workshop, Toulouse, France 1993, IEEE Computer Society Press, 270–279.