Login / Signup
Automated verification of feature model configuration processes based on workflow Petri nets.
Stephan Mennicke
Malte Lochau
Julia Schroeter
Tim Winkelmann
Published in:
SPLC (2014)
Keyphrases
</>
petri net
petri net model
process model
colored petri nets
stochastic petri net
workflow model
high level petri nets
manufacturing systems
probability distribution
workflow models
probabilistic model
workflow management systems
discrete event systems