Compositional Reachability in Petri Nets.

Julian Rathke Pawel Sobocinski Owen Stephens

Published in: RP (2014)

Keyphrases

petri net
petri net model
manufacturing systems
discrete event systems
high level petri nets
service composition
fuzzy petri net
state space
colored petri nets
stochastic petri net
process model
state machines
concurrent systems
ims ld
concurrent processes
discrete dynamical systems