On persistent reachability in Petri nets.

Kamila Barylska Lukasz Mikulski Edward Ochmanski

Published in: Inf. Comput. (2013)

Keyphrases

petri net
petri net model
high level petri nets
manufacturing systems
discrete event systems
fuzzy petri net
state machines
stochastic petri net
state space
service composition
colored petri nets
concurrent systems
ims ld
sequence diagrams
neural network