Login / Signup
Validating the behavior of a supervised system using petri nets.
Carlos Arturo Parra Ortega
Jaime Alberto Guzmán Luna
Published in:
Rev. Avances en Sistemas Informática (2012)
Keyphrases
</>
petri net
high level petri nets
petri net model
discrete event systems
colored petri nets
learning algorithm
process model
manufacturing systems
service composition
dynamic behaviors
state machines
stochastic petri net
fuzzy petri net
hardware and software
ims ld
neural network
concurrent systems
low cost