Timed Output Synchronized Petri Nets and basics of Synchronized State Class Graph
Résumé
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.
Domaines
AutomatiqueOrigine | Fichiers produits par l'(les) auteur(s) |
---|---|
licence |