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

Home
AMU research units collections
Submit
Browse
Search
Am I allowed
Collaborations
More about Open Access

Conference papers

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]

Changshun Wu ^{1, 2} AuthorId : 11196429
Author

Isabel Demongodin ^{1, 2} AuthorId : 387262

Author IdHAL : isabel-demongodin IdRef : https://www.idref.fr/099031981

Alessandro Giua ^{1, 2, 3} AuthorId : 99825
Author

1 LSIS - Laboratoire des Sciences de l'Information et des Systèmes (Domaine Universitaire de Saint-Jérôme Batiment Polytech Avenue Escadrille Normandie-Niemen 13397 MARSEILLE CEDEX 20 - France) StructId : 199402

AMU - Aix Marseille Université : UMR7296 (Aix-Marseille Université Jardins du Pharo 58 Boulevard Charles Livon 13284 Marseille cedex 7 - France) StructId : 198056
UTLN - Université de Toulon : UMR7296 (Avenue de l'Université - BP 20132 - 83957 La Garde Cedex - France) StructId : 303091
Arts et Métiers Paristech ENSAM Aix-en-Provence : UMR7296 (France) StructId : 303092
CNRS - Centre National de la Recherche Scientifique : UMR7296 (France) StructId : 441569

2 MOFED - Modèles et Formalismes à Evénements Discrets (France) StructId : 530687

LIS - Laboratoire d'Informatique et Systèmes (Aix Marseille Université – Campus de Saint Jérôme – Bat. Polytech, 52 Av. Escadrille Normandie Niemen, 13397 Marseille Cedex 20 - France) StructId : 527033
- AMU - Aix Marseille Université : UMR7020 (Aix-Marseille Université Jardins du Pharo 58 Boulevard Charles Livon 13284 Marseille cedex 7 - France) StructId : 198056
- UTLN - Université de Toulon : UMR7020 (Avenue de l'Université - BP 20132 - 83957 La Garde Cedex - France) StructId : 303091
- CNRS - Centre National de la Recherche Scientifique : UMR7020 (France) StructId : 441569

3 DIEE - Department of Electrical and Electronic Engineering [University of Cagliari] (Piazza d'Armi, 09123, Cagliari - Italy) StructId : 128842

University of Cagliari (Italy) StructId : 520704

Document type :

Conference papers

Domain :

Engineering Sciences [physics]

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 : Wednesday, December 2, 2020 - 3:12:34 AM

Links full text

Identifiers

HAL Id : hal-01786065, version 1
DOI : 10.1016/j.ifacol.2017.08.2300

Collections

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⟩

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

Links full text

Identifiers

Collections

Citation

Export

Metrics

339

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

Links full text

Identifiers

Collections

Citation

Export

Share

Metrics

339