Complex Reachability Trees and Their Application to Deadlock Detection for Unbounded Petri Nets

Faming Lu, Qingtian Zeng, Meng Chu Zhou, Yunxia Bao, Hua Duan

Research output: Contribution to journalArticlepeer-review

26 Scopus citations

Fingerprint

Dive into the research topics of 'Complex Reachability Trees and Their Application to Deadlock Detection for Unbounded Petri Nets'. Together they form a unique fingerprint.

Keyphrases

Computer Science

Earth and Planetary Sciences