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

Shouguang Wang, Dan You, Mengchu Zhou

Research output: Contribution to journalLetterpeer-review

8 Scopus citations
Original languageEnglish (US)
Article number129104
JournalScience China Information Sciences
Issue number12
StatePublished - Dec 1 2018

All Science Journal Classification (ASJC) codes

  • General Computer Science

Cite this