Timed Output Synchronized Petri Nets and basics of Synchronized State Class Graph
Mouna Gaouar, Rabah Ammour, Isabel Demongodin, Dimitri Lefebvre · IFAC-PapersOnLine · 2024
This paper presents a timed extension of Synchronized Petri nets that can be controlled and observed. Output Synchronized Petri Nets have been previously defined for allowing a Cyber-Physical System to be controlled through input event associated with controllable transitions and to be observed thanks to output events issued by the marking values and/or marking changes. The proposed new timed extension, called timed Output Synchronized Petri nets, is obtained by assigning firing durations to transitions. As the state space of such formalism involves dense time variables, we propose a state class graph abstraction called Synchronized State Class Graph.