Login / Signup

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

Nicolas AmatSilvano Dal-Zilio
Published in: CoRR (2023)
Keyphrases
  • petri net
  • manufacturing systems
  • high dimensional
  • service composition
  • stochastic petri net