Open distributed supervisory system design using Petri nets

The design of supervisory system for automated environments can be seen as a task involving techniques and methods of two main areas: software and control engineering. In this context, the purpose of this work is to introduce a new approach for open distributed supervisory system design based on the merging of traditional techniques of software engineering (such as object-orientated concepts) with formal models of Discrete Event Dynamic Systems - (such as Petri nets). In a first level of abstraction, the Reference Model of Open Distributed Processing (RM-ODP) is used as a standard architectural framework for the construction of open distributed system. Based on the RM-ODP, the Unified Modeling Language (UML) diagrams are built as a second level of abstraction. Finally, the Petri nets (the third level of abstraction) are used throughout the process in order to guarantee the coherence among the UML models from requirement analysis to implementation, and to provide formal models of the system.