Synthesis of deadlock prevention supervisors using Petri nets.

Marian V. Iordache John O. Moody Panos J. Antsaklis

Published in: IEEE Trans. Robotics Autom. (2002)

Keyphrases

petri net
discrete event systems
manufacturing systems
petri net model
high level petri nets
colored petri nets
service composition
state machines
fuzzy petri net
concurrent systems
computational intelligence
low cost
dynamical systems
concurrent processes
discrete dynamical systems