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