Login / Signup

Parameterized of Control Related States of Gen-Right k-th order system of Petri nets based on proof by model of Gen-Left.

Tsung Hsien Yu
Published in: IECON (2016)
Keyphrases
  • petri net
  • high level petri nets
  • petri net model
  • process model
  • colored petri nets
  • mathematical model
  • decision making
  • finite state machines
  • discrete event
  • embedded real time systems