Journal articles
Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem
1
Xidian University (China)
2
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)
- AMU - Aix Marseille Université : UMR7296 (Aix-Marseille Université Jardins du Pharo 58 Boulevard Charles Livon 13284 Marseille cedex 7 - France)
- UTLN - Université de Toulon : UMR7296 (Avenue de l'Université - BP 20132 - 83957 La Garde Cedex - France)
- Arts et Métiers Paristech ENSAM Aix-en-Provence : UMR7296 (France)
- CNRS - Centre National de la Recherche Scientifique : UMR7296 (France)
3
MOFED - Modèles et Formalismes à Evénements Discrets (France)
- 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)
- AMU - Aix Marseille Université : UMR7020 (Aix-Marseille Université Jardins du Pharo 58 Boulevard Charles Livon 13284 Marseille cedex 7 - France)
- UTLN - Université de Toulon : UMR7020 (Avenue de l'Université - BP 20132 - 83957 La Garde Cedex - France)
- CNRS - Centre National de la Recherche Scientifique : UMR7020 (France)
4
DIEE - Department of Electrical and Electronic Engineering [University of Cagliari] (Piazza d'Armi, 09123, Cagliari - Italy)
- University of Cagliari (Italy)
Document type :
Journal articles
Domain :
Complete list of metadatas
https://hal-amu.archives-ouvertes.fr/hal-01786021
Contributor : Isabel Demongodin <>
Submitted on : Friday, May 4, 2018 - 7:16:30 PM
Last modification on : Monday, March 30, 2020 - 8:43:17 AM
Contributor : Isabel Demongodin <>
Submitted on : Friday, May 4, 2018 - 7:16:30 PM
Last modification on : Monday, March 30, 2020 - 8:43:17 AM
Links full text
Identifiers
- HAL Id : hal-01786021, version 1
- DOI : 10.1109/TAC.2016.2574120
Collections
Citation
Ziyue Ma, Yin Tong, Zhiwu Li, Alessandro Giua. Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem. IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2017, 62 (3), pp.1078 - 1093. ⟨10.1109/TAC.2016.2574120⟩. ⟨hal-01786021⟩
Metrics
Record views
