Characterization of Admissible Marking Sets in Petri Nets With Conflicts and Synchronizations

Ziyue Ma; Zhiwu Li; Alessandro Giua

doi:10.1109/TAC.2016.2585647

Journal Articles IEEE Transactions on Automatic Control Year : 2017

Characterization of Admissible Marking Sets in Petri Nets With Conflicts and Synchronizations

(1) , (1) , (2, 3, 4)

1
2
3
4

Ziyue Ma

Function : Author

Xidian University

Zhiwu Li

Function : Author
PersonId : 773377
ORCID : 0000-0003-1547-5503

Xidian University

Alessandro Giua

Function : Author

Laboratoire des Sciences de l'Information et des Systèmes

Modèles et Formalismes à Evénements Discrets

Department of Electrical and Electronic Engineering [University of Cagliari]

Domains

Engineering Sciences [physics]

Isabel Demongodin : Connect in order to contact the contributor

https://hal-amu.archives-ouvertes.fr/hal-01786018

Submitted on : Friday, May 4, 2018-7:11:56 PM

Last modification on : Friday, May 5, 2023-4:12:50 AM

Dates and versions

hal-01786018 , version 1 (04-05-2018)

Identifiers

HAL Id : hal-01786018 , version 1
DOI : 10.1109/TAC.2016.2585647

Cite

Ziyue Ma, Zhiwu Li, Alessandro Giua. Characterization of Admissible Marking Sets in Petri Nets With Conflicts and Synchronizations. IEEE Transactions on Automatic Control, 2017, 62 (3), pp.1329 - 1341. ⟨10.1109/TAC.2016.2585647⟩. ⟨hal-01786018⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

UNIV-TLN CNRS UNIV-AMU LIS-LAB IRENAV LAMPA LCPI LABOMAP LISPEN MSMP

99 View

0 Download

Characterization of Admissible Marking Sets in Petri Nets With Conflicts and Synchronizations

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Altmetric

Share