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

Yen, Hsu-ChunHsu-ChunYenWang, Bow-YawBow-YawWangYang, Ming-ShengMing-ShengYangHSU-CHUN YEN2020-06-162020-06-161997https://scholars.lib.ntu.edu.tw/handle/123456789/502446Deciding a Class of Path Formulas for Conflict-Free Petri Nets.journal article10.1007/s002240000063https://doi.org/10.1007/s002240000063