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