Modelling and design of complex systems with petri nets

A coloured Petri nets based modelling and design concepts for complex real-time systems are presented. They appear in two forms, as functional models and as architecture models, and provide representation for specified time constraints. These are illustrated with the generic executable specification of a control software system for the flexible manufacturing system. The concepts can be easy extended for specification of the CIM-architectures. The complexity of system models is managed by views, that we employ to represent the same system from different points of view.