Free choice Petri nets
Verification of workflow task structures: A petri-net-based approach
Information Systems
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
The Minimal Coverability Graph for Petri Nets
Papers from the 12th International Conference on Applications and Theory of Petri Nets: Advances in Petri Nets 1993
XRL/Flower: Supporting Inter-organizational Workflows Using XML/Petri-Net Technology
CAiSE '02/ WES '02 Revised Papers from the International Workshop on Web Services, E-Business, and the Semantic Web
Identifying Commonalities and Differences in Object Life Cycles Using Behavioral Inheritance
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Information Technology and Management
Correctness criteria for dynamic changes in workflow systems: a survey
Data & Knowledge Engineering - Special issue: Advances in business process management
Advanced Topics In Workflow Management: Issues, Requirements, And Solutions
Journal of Integrated Design & Process Science
PIPE2: a tool for the performance evaluation of generalised stochastic Petri Nets
ACM SIGMETRICS Performance Evaluation Review
Petri Net Transformations for Business Processes --- A Survey
Transactions on Petri Nets and Other Models of Concurrency II
A Framework for Linking and Pricing No-Cure-No-Pay Services
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
Detecting artifact anomalies in business process specifications with a formal model
Journal of Systems and Software
BPM'03 Proceedings of the 2003 international conference on Business process management
Specification and verification of harmonized business-process collaborations
Information Systems Frontiers
A framework for building mobile single and multi-robot applications
Robotics and Autonomous Systems
Expert Systems with Applications: An International Journal
Petriweb: a repository for petri nets
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Verification of EPCs: using reduction rules and petri nets
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
A formalized, taxonomy-driven approach to cross-layer application adaptation
ACM Transactions on Autonomous and Adaptive Systems (TAAS) - Special section on formal methods in pervasive computing, pervasive adaptation, and self-adaptive systems: Models and algorithms
WorMS- a framework to support workflows in M&S
Proceedings of the Winter Simulation Conference
International Journal of Web Services Research
How to guarantee compliance between workflows and product lifecycles?
Information Systems
| Hi-index | 0.00 |
Workflow management technology promises a flexible solution facilitating the easy creation of new business processes and modification of existing ones. Unfortunately, most of today's workflow products allow for erroneous processes to be put in production: these products lack proper verificationmechanisms in their process-definition tools for the created or modified processes. This paper presents the workflow diagnosis tool Woflan, which fills this gap. Using Petri-net based techniques, Woflan diagnoses process definitions before they are put into production. These process definitions can be imported from commercial workflow products. Furthermore, Woflan guides the modeler of a workflow process definition towards finding and correcting possible errors.