On the enforcement of a class of constraint in Petri nets.

Weimin Wu Lida Dong Hongye Su Jian Chu

Published in: SMC (2003)

Keyphrases

petri net
discrete event systems
petri net model
manufacturing systems
high level petri nets
process model
colored petri nets
service composition
state machines
stochastic petri net
ims ld
decision making
low cost
access control
temporal logic