Skip to main content
English
中文
Log In
Email address
Password
Log in
Log in with ORCID
NTU Single Sign On
New user? Click here to register.
Have you forgotten your password?
Communities & Collections
Research Outputs
Fundings & Projects
People
Organizations
Statistics
Home
College of Electrical Engineering and Computer Science / 電機資訊學院
Electrical Engineering / 電機工程學系
Deciding a Class of Path Formulas for Conflict-Free Petri Nets.
Details
Export
Statistics
Options
Show all metadata (technical view)
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
HSU-CHUN YEN
DOI
10.1007/s002240000063
URI
https://scholars.lib.ntu.edu.tw/handle/123456789/502446
URL
https://doi.org/10.1007/s002240000063
Type
journal article
