Login / Signup
Automatic Specification Generation for Tracking Control in Interpreted Petri nets.
D. Guevara-Lozano
Carlos Renato Vázquez
Antonio Ramírez-Treviño
Published in:
CoDIT (2020)
Keyphrases
</>
petri net
tracking control
colored petri nets
nonlinear systems
state machines
reactive systems
discrete event systems
manufacturing systems
petri net model
service composition
sequence diagrams
fuzzy petri net
control law
adaptive neural
concurrent systems
ims ld
real time
workflow model
state machine