Conversion of 1-Place-Unbounded Synchronized Petri Nets into Weighted Automata

Changshun Wu 1, 2 Isabel Demongodin 1, 2 Alessandro Giua 1, 2, 3
1 LSIS - Laboratoire des Sciences de l'Information et des Systèmes
2 MOFED - Modèles et Formalismes à Evénements Discrets
LIS - Laboratoire d'Informatique et Systèmes
3 DIEE - Department of Electrical and Electronic Engineering [University of Cagliari]
Document type :
Conference papers
Complete list of metadatas
https://hal-amu.archives-ouvertes.fr/hal-01786065
Contributor : Isabel Demongodin <>
Submitted on : Friday, May 4, 2018 - 9:01:35 PM
Last modification on : Tuesday, July 9, 2019 - 4:48:39 PM

Identifiers

Collections

UNIV-AMU | UNIV-TLN | LSIS | LIS-LAB | UNIV-HESAM

Citation

Changshun Wu, Isabel Demongodin, Alessandro Giua. Conversion of 1-Place-Unbounded Synchronized Petri Nets into Weighted Automata. 20th IFAC World Congress, Jul 2017, Toulouse, France. pp.13434 - 13440, ⟨10.1016/j.ifacol.2017.08.2300⟩. ⟨hal-01786065⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

116

Contact

CCSD