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

Hsu-Chun Yen Bow-Yaw Wang Ming-Sheng Yang

Published in: Theory Comput. Syst. (1997)

Keyphrases

petri net
conflict free
petri net model
discrete event systems
colored petri nets
database schemes
functional dependencies
ims ld
state machines
fuzzy petri net
service composition
artificial intelligence
database
complex systems
stochastic petri net