A method for the synthesis of deadlock prevention controllers in systems modeled by Petri nets.

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

Published in: ACC (2000)

Keyphrases

petri net
petri net model
artificial intelligence
knowledge base
discrete event systems
neural network
pattern classification