Timed Output Synchronized Petri Nets and basics of Synchronized State Class Graph - Groupe de Recherche en Electrotechnique et Automatique du Havre Accéder directement au contenu
Communication Dans Un Congrès Année : 2024

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

Automatique
Fichier principal
Vignette du fichier
WODES_Timed_OutSynPNs.pdf (454.84 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
licence

Dates et versions

hal-04600516 , version 1 (04-06-2024)

Licence

Identifiants

  • HAL Id : hal-04600516 , version 1

Citer

Mouna Gaouar, Rabah Ammour, Isabel Demongodin, Dimitri Lefebvre. Timed Output Synchronized Petri Nets and basics of Synchronized State Class Graph. 17th Workshop on Discrete Event Systems (WODES’24), Apr 2024, Rio de janeiro, Brazil. ⟨hal-04600516⟩
13 Consultations
7 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More