Login / Signup

Verification and validation of control algorithms by coupling of interpreted Petri nets.

Georg FreyLothar Litz
Published in: SMC (1998)
Keyphrases
  • petri net
  • petri net model
  • control system
  • colored petri nets
  • manufacturing systems
  • programmable logic controller