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