Enforcing transition deadlines in time Petri nets.

Haisheng Wang Liviu Grigore Ugo A. Buy Houshang Darabi

Published in: ETFA (2007)

Keyphrases

petri net
manufacturing systems
petri net model
discrete event systems
high level petri nets
fuzzy petri net
colored petri nets
ims ld
response time
service composition
stochastic petri net
state machines
discrete dynamical systems
sequence diagrams
neural network
knowledge acquisition
low cost