Liveness supervision of AMS with complex processes using Petri nets.

Hesuan Hu Ying Tang Mengchu Zhou Zhiwu Li

Published in: SMC (2011)

Keyphrases

petri net
petri net model
high level petri nets
discrete event systems
manufacturing systems
process model
state machines
fuzzy petri net
service composition
stochastic petri net
distributed systems
ims ld
concurrent systems