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]

Type de document :

Communication dans un congrès

20th IFAC World Congress, Jul 2017, Toulouse, France. 50 (1), pp.13434 - 13440, 2017, 〈10.1016/j.ifacol.2017.08.2300〉

Domaine :

Sciences de l'ingénieur [physics]

Liste complète des métadonnées

https://hal-amu.archives-ouvertes.fr/hal-01786065
Contributeur : Isabel Demongodin <>
Soumis le : vendredi 4 mai 2018 - 21:01:35
Dernière modification le : mercredi 12 septembre 2018 - 01:25:57

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

Identifiants

Collections

Citation

Exporter

Métriques

83

Contact

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

Identifiants

Collections

Citation

Exporter

Partager

Métriques

83

Contact