The Complexity of Coverability in ν-Petri Nets.

Ranko Lazic Sylvain Schmitz

Published in: LICS (2016)

Keyphrases

petri net
petri net model
high level petri nets
manufacturing systems
discrete event systems
service composition
colored petri nets
fuzzy petri net
process model
stochastic petri net
sequence diagrams
state machines
discrete dynamical systems
programmable logic controller
neural network
ims ld
concurrent processes