Correction to “Synchronizing sequences on a class of unbounded systems using synchronized Petri nets” - Aix-Marseille Université Accéder directement au contenu
Article Dans Une Revue Discrete Event Dynamic Systems Année : 2019

Correction to “Synchronizing sequences on a class of unbounded systems using synchronized Petri nets”

Résumé

The paper mentioned in the title proposed a new definition of increasing repetitive input sequences for synchronized Petri nets and stated that it can be used to construct a finite modified coverability graph for any unbounded SynPN. In this note, we discuss the notion of unboundedness for SynPNs and show via an example that actually the modified coverability graph may be infinite due the presence of increasing sequences that are not repetitive.
Fichier non déposé

Dates et versions

hal-02433009 , version 1 (07-10-2023)

Identifiants

Citer

Changshun Wu, Isabel Demongodin, Alessandro Giua. Correction to “Synchronizing sequences on a class of unbounded systems using synchronized Petri nets”. Discrete Event Dynamic Systems, 2019, 29 (4), pp.521-526. ⟨10.1007/s10626-019-00295-9⟩. ⟨hal-02433009⟩
68 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More