Login / Signup
Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques.
Francesco Basile
Gianmaria De Tommasi
Carlo Motta
Published in:
Autom. (2023)
Keyphrases
</>
petri net
initial state
discrete event systems
petri net model
expert systems
complex systems
machine learning
learning algorithm
production system
situation calculus
colored petri nets