Sign in
Integrated design of optimal supervisors for the enforcement of static and behavioral specifications in Petri net models.
Francesco Basile
Roberto Cordone
Luigi Piroddi
Published in:
Autom. (2013)
Keyphrases
</>
petri net
reactive systems
stochastic petri net
manufacturing systems
dynamic programming
web service composition
discrete event systems
sequence diagrams
petri net model
design process
embedded real time systems
artificial intelligence
concurrent systems
fuzzy petri net