Login / Signup
Enforcing Periodic Transition Deadlines in Time Petri Nets With Net Unfoldings.
Haisheng Wang
Liviu Grigore
Ugo A. Buy
Mihai Lehene
Houshang Darabi
Published in:
IEEE Trans. Syst. Man Cybern. Part A (2011)
Keyphrases
</>
petri net
petri net model
manufacturing systems
discrete event systems
high level petri nets
response time
service composition
colored petri nets
stochastic petri net
fuzzy petri net
ims ld
sequence diagrams
concurrent systems
state machines
process model
dynamic systems
discrete dynamical systems
computer systems