1. Bruno, G. and al. (1991) The impact of software engineering in the development of CIM systems. In 7th CIM-Europe Conference, Turin, Italy, pages 101 - 113. Springer-Verlag, London.
2. Bruno, G., Grammatica, A., and Macario, G. (1992) Operational Entity-Relationship with Quid. In 5th Int. Conf. on Software Engineering and its Applications, Toulouse, EC2, Nanterre, France, pages 433 - 442.
3. Bruno, G. (1995) Model-based Software Engineering. Chapman and Hall, London. ESPRIT Consortium AMICE (1993) CIMOSA: Open System Architecture for CIM. Springer-Verlag, Berlin.
4. Jensen, K. and Rozenberg, G. (eds) (1991) High-level Petri nets: theory and applications. Springer-Verlag, London.
5. Murata, T. (1989) Petri nets: Properties, analysis and applications. Proceedings of IEEE, vol. 77: 541 - 580.