Correction to “Synchronizing sequences on a class of unbounded systems using synchronized Petri nets” - Aix-Marseille Université Access content directly
Journal Articles Discrete Event Dynamic Systems Year : 2019

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

Abstract

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.
No file

Dates and versions

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

Identifiers

Cite

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 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More