Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets.

Thomas Chatain Claude Jard

Published in: FORMATS (2005)

Keyphrases

concurrent systems
petri net
process algebra
manufacturing systems
petri net model
discrete event systems
fuzzy petri net
colored petri nets
web service composition
ims ld
discrete dynamical systems
artificial intelligence
service composition
process model
cellular automata
building blocks
low cost
case study