Liveness Analysis of ω -Independent Petri Nets Based on New Modified Reachability Trees

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

Research output: Contribution to journalArticlepeer-review

17 Scopus citations

Fingerprint

Dive into the research topics of 'Liveness Analysis of ω -Independent Petri Nets Based on New Modified Reachability Trees'. Together they form a unique fingerprint.

Keyphrases

Computer Science

Engineering