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

Journal

Theory of Computing Systems

Journal Volume

30

Journal Issue

5

Pages

475-494

Date Issued

1997

Author(s)

Yen, H.-C.

Wang, B.-Y.

Yang, M.-S.

DOI

10.1007/BF02679458

URI

https://scholars.lib.ntu.edu.tw/handle/123456789/502440

URL

https://www.scopus.com/inward/record.uri?eid=2-s2.0-0031215286&doi=10.1007%2fBF02679458&partnerID=40&md5=a6ea0e09abcecaa53e775aea6ea60e56

SDGs

[SDGs]SDG10

Type

journal article