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

Shouguang Wang, Dan You, Mengchu Zhou

Research output: Contribution to journalLetterpeer-review

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

All Science Journal Classification (ASJC) codes

  • Computer Science(all)

Cite this