Fully Expanded Tree for Property Analysis of One-Place-Unbounded Petri Nets

Zhijun Ding, Meiqin Pan, Ru Yang, Changjun Jiang, Mengchu Zhou

Research output: Contribution to journalArticlepeer-review

11 Scopus citations

Fingerprint

Dive into the research topics of 'Fully Expanded Tree for Property Analysis of One-Place-Unbounded Petri Nets'. Together they form a unique fingerprint.

Engineering & Materials Science