Design of T-liveness enforcing supervisors in Petri nets.

Marian V. Iordache Panos J. Antsaklis

Published in: IEEE Trans. Autom. Control. (2003)

Keyphrases

petri net
manufacturing systems
petri net model
neural network
discrete event systems
sequence diagrams
distributed systems
knowledge based systems
software architecture
service composition