Holistic modeling of complex systems with Petri Nets

This paper discusses an approach to integrate the modern techniques of software development such as SA/SD and OOS/OOD into the modeling process of complex systems with Petri Nets, taking advantage of the strengths of these methods and meanwhile dealing with some of their limitations. The modeling procedure is introduced and discussed in detail. At first the system overall structure is modeled by means of a Component Structure Diagram (CSD) which is a Petri Net model. Then the modeling of system components is emphasized either on their functional or data (object) aspect corresponding to their properties. The models of different views (dynamics, functions and data) of a component are integrated on the basis of Petri Nets. The scopes and borders of different views' models are clearly defined. The overall system model is set up through a smooth integration of the models of individual views of system components as well as the integration of component models with the system structure model.