Deciding a class of path formulas for conflict-free Petri nets

Yen, H.-C.H.-C.YenWang, B.-Y.B.-Y.WangYang, M.-S.M.-S.YangHSU-CHUN YEN2020-06-162020-06-161997https://scholars.lib.ntu.edu.tw/handle/123456789/502440[SDGs]SDG10Deciding a class of path formulas for conflict-free Petri netsjournal article10.1007/BF026794582-s2.0-0031215286https://www.scopus.com/inward/record.uri?eid=2-s2.0-0031215286&doi=10.1007%2fBF02679458&partnerID=40&md5=a6ea0e09abcecaa53e775aea6ea60e56