Login / Signup
Checking marking reachability with the state equation in Petri net subclasses.
Thomas Hujsa
Bernard Berthomieu
Silvano Dal-Zilio
Didier Le Botlan
Published in:
CoRR (2020)
Keyphrases
</>
petri net
petri net model
state space
high level petri nets
colored petri nets
discrete event systems
manufacturing systems
web service composition
fuzzy petri net
neural network
ims ld
stochastic petri net
knowledge acquisition
process model
multistage
service composition