Login / Signup
Deadlock Control Software for Tow Automated Guided Vehicles using Petri Nets.
Carlos A. Rovetto
Elia E. Cano
José Manuel Colom
Published in:
ACSD/Petri Nets Workshops (2010)
Keyphrases
</>
petri net
control software
manufacturing systems
petri net model
colored petri nets
discrete event systems
control system
service composition
state machines
stochastic petri net
ims ld
concurrent systems
web services
sequence diagrams
concurrent processes