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

Shouguang Wang, Dan You, Mengchu Zhou

Research output: Contribution to journalLetterpeer-review

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

All Science Journal Classification (ASJC) codes

  • Computer Science(all)

Cite this