Login / Signup
SMPT: A Testbed for Reachability Methods in Generalized Petri Nets.
Nicolas Amat
Silvano Dal-Zilio
Published in:
CoRR (2023)
Keyphrases
</>
petri net
manufacturing systems
high dimensional
service composition
stochastic petri net