Circuits, handles, bridges and nets
APN 90 Proceedings on Advances in Petri nets 1990
Free choice Petri nets
Adept_flex—Supporting Dynamic Changes of Workflows Without Losing Control
Journal of Intelligent Information Systems - Special issue on workflow management systems
Relaxed Soundness of Business Processes
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
A top-down Petri net-based approach for dynamic workflow modeling
BPM'03 Proceedings of the 2003 international conference on Business process management
Detection and prediction of errors in EPCs of the SAP reference model
Data & Knowledge Engineering
Model Driven Business Transformation --- An Experience Report
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Relaxed Compliance Notions in Adaptive Process Management Systems
ER '08 Proceedings of the 27th International Conference on Conceptual Modeling
Flexibility in Process-Aware Information Systems
Transactions on Petri Nets and Other Models of Concurrency II
Empirical Studies in Process Model Verification
Transactions on Petri Nets and Other Models of Concurrency II
Workflow model compositions preserving relaxed soundness
BPM'06 Proceedings of the 4th international conference on Business Process Management
| Hi-index | 0.00 |
A popular requirement for the validation of workflow models is soundness. As soundness can not be easily seen on the model level, different correctness criteria have been proposed in the literature to bridge the gap between the modeling process and a executable workflow model. Well-structuredness and relaxed soundness are investigated in the paper. Relationships between the properties are derived.