Sign in
SMPT: A Testbed for Reachability Methods in Generalized Petri Nets.
Nicolas Amat
Silvano Dal-Zilio
Published in:
FM (2023)
Keyphrases
</>
petri net
machine learning
genetic algorithm
discrete event systems