Deciding a Class of Path Formulas for Conflict-Free Petri Nets.

Journal

Theory Comput. Syst.

Journal Volume

30

Journal Issue

5

Pages

475-494

Date Issued

1997

Author(s)

Yen, Hsu-Chun

Wang, Bow-Yaw

Yang, Ming-Sheng

DOI

10.1007/s002240000063

URI

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

URL

https://doi.org/10.1007/s002240000063

Type

journal article