Login / Signup

Modeling User Specification Based on Supervisor Control and Petri Nets.

Yujin SongJongwoog KimJongkun Lee
Published in: CIMCA/IAWTIC/ISE (2008)
Keyphrases
  • cellular automata
  • discrete dynamical systems
  • petri net
  • colored petri nets
  • control system
  • programmable logic controller