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

Changshun Wu; Isabel Demongodin; Alessandro Giua

doi:10.1016/j.ifacol.2017.08.2300

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

Domain :

Engineering Sciences [physics]

Liste complète des métadonnées

https://hal-amu.archives-ouvertes.fr/hal-01786065
Contributor : Isabel Demongodin <>
Submitted on : Friday, May 4, 2018 - 9:01:35 PM
Last modification on : Wednesday, September 12, 2018 - 1:25:57 AM

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

Identifiers

Collections

Citation

Export

Metrics

86

Contact

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

Identifiers

Collections

Citation

Export

Share

Metrics

86

Contact