Latency-Based Supervisors for Enforcing Deadlines in Time Petri Nets.

Ugo A. Buy Mihai Lehene Houshang Darabi

Published in: SEW (2005)

Keyphrases

petri net
response time
high level petri nets
petri net model
manufacturing systems
discrete event systems
colored petri nets
stochastic petri net
service composition
process model
fuzzy petri net
ims ld
concurrent systems
discrete dynamical systems
programmable logic controller
knowledge base
sequence diagrams