Petri nets: an introduction
Communicating sequential processes
Communicating sequential processes
Concepts and experiments in computational reflection
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
High-level Petri nets: theory and application
High-level Petri nets: theory and application
Free choice Petri nets
GreatSPN 1.7: graphical editor and analyzer for timed and stochastic Petri nets
Performance Evaluation - Special issue: performance modeling tools
Adept_flex—Supporting Dynamic Changes of Workflows Without Losing Control
Journal of Intelligent Information Systems - Special issue on workflow management systems
ML-DEWS: Modeling Language to Support Dynamic Evolution within Workflow Systems
Computer Supported Cooperative Work
A Light Workflow Management System Using SimpleProcess Models
Computer Supported Cooperative Work
Inheritance of workflows: an approach to tackling problems related to change
Theoretical Computer Science
Evaluation of Object-Oriented Reflective Models
ECOOP '98 Workshop ion on Object-Oriented Technology
Dynamic workflow change in PDM systems
Computers in Industry
Modeling Workflows with Recursive ECATNets
SYNASC '06 Proceedings of the Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
Marked-Controlled Reconfigurable Workflow Nets
SYNASC '06 Proceedings of the Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
Modeling dynamic architectures using nets-within-nets
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
High-level nets with nets and rules as tokens
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
| Hi-index | 0.02 |
The design of dynamic workflows needs adequate modeling/specification formalisms and tools to soundly handle possible changes during workflow operation. A common approach is to pollute workflow design with details that do not regard the current behavior, but rather evolution. That hampers analysis, reuse and maintenance in general. We propose and discuss the adoption of a recent Petri netbased reflective model as a support to dynamic workflow design. Keeping separated functional aspects from evolution, results in a dynamic workflow model merging flexibility and ability of formally verifying basic workflow properties. A structural on-the-fly characterization of sound dynamic workflows is adopted. An application is presented to a localized problem: how to determine what tasks should be redone and which ones do not when transferring a workflow instance from an old to a new template.