Making Workflow Models Sound Using Petri Net Controller Synthesis.

Juliane Dehnert Armin Zimmermann

Published in: CoopIS/DOA/ODBASE (1) (2004)

Keyphrases

petri net
workflow models
controller synthesis
petri net model
manufacturing systems
workflow model

service composition
fuzzy petri net
multi agent
closed loop
colored petri nets

workflow management
control algorithm
stochastic petri net
business process
control system

decision making
workflow systems
machine learning
process model
database systems