Login / Signup
Verification and validation of control algorithms by coupling of interpreted Petri nets.
Georg Frey
Lothar Litz
Published in:
SMC (1998)
Keyphrases
</>
petri net
petri net model
control system
colored petri nets
manufacturing systems
programmable logic controller