Sign in

SMPT: A Testbed for Reachability Methods in Generalized Petri Nets.

Nicolas AmatSilvano Dal-Zilio
Published in: FM (2023)
Keyphrases
  • petri net
  • machine learning
  • genetic algorithm
  • discrete event systems