Making Workflow Models Sound Using Petri Net Controller Synthesis.
Juliane DehnertArmin ZimmermannPublished 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