New reachability trees for analyzing unbounded Petri nets with semilinear reachability sets

Shouguang Wang, Dan You, Mengchu Zhou

Research output: Contribution to journalLetterpeer-review

4 Scopus citations

Fingerprint

Dive into the research topics of 'New reachability trees for analyzing unbounded Petri nets with semilinear reachability sets'. Together they form a unique fingerprint.