Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem

Ziyue Ma; yin Tong; Zhiwu Li; Alessandro Giua

doi:10.1109/TAC.2016.2574120

Journal articles

Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem

Ziyue Ma ¹ yin Tong ¹ Zhiwu Li ¹ Alessandro Giua ^{2, 3, 4}

1 Xidian University

2 LSIS - Laboratoire des Sciences de l'Information et des Systèmes

3 MOFED - Modèles et Formalismes à Evénements Discrets

LIS - Laboratoire d'Informatique et Systèmes

4 DIEE - Department of Electrical and Electronic Engineering [University of Cagliari]

Document type :

Journal articles

Domain :

Engineering Sciences [physics]

Complete list of metadata

https://hal-amu.archives-ouvertes.fr/hal-01786021
Contributor : Isabel Demongodin Connect in order to contact the contributor
Submitted on : Friday, May 4, 2018 - 7:16:30 PM
Last modification on : Saturday, June 25, 2022 - 7:49:26 PM

Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem

Links full text

Identifiers

Collections

Citation

Export

Metrics

82

Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem

Links full text

Identifiers

Collections

Citation

Export

Share

Metrics

82