PNPACDA, Petri nets with places associated to continuous or discretized control algorithms for hybrid systems modelling

In this design, analysis and implementation of the industrial automation systems, it is often observed that the modeling complexity can increase due to the different nature of the cooperating subprocesses in the system, some with continuous nature driven by events, i.e., due to its possible hybrid nature. Tools like the Petri nets and their derivates, such as the Grafcet, have proven their effectiveness in the discrete event systems modeling, characterizing the behavior and interaction of different cooperating subprocesses. The contributed formalism in such concepts as synchronism, concurrence, mutual exclusion, and resource sharing has a special interest. In this paper, a proposal for the integration in a unique Petri net model of different nature subsystems by means of the inclusion of places associated to continuous or discretized algorithms is presented for its application in the automated complex hybrid systems.