An overview of workflow management: from process modeling to workflow automation infrastructure
Distributed and Parallel Databases - Special issue on software support for work flow management
Synthesizing Petri nets from state-based models
ICCAD '95 Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design
The synthesis problem for elementary net systems is NP-complete
Theoretical Computer Science
Discovering models of software processes from event-based data
ACM Transactions on Software Engineering and Methodology (TOSEM)
Deriving Petri Nets from Finite Transition Systems
IEEE Transactions on Computers
Production workflow: concepts and techniques
Production workflow: concepts and techniques
Handbook of graph grammars and computing by graph transformation: vol. 3: concurrency, parallelism, and distribution
Well-structured transition systems everywhere!
Theoretical Computer Science
A Machine Learning Approach to Workflow Management
ECML '00 Proceedings of the 11th European Conference on Machine Learning
Mining Process Models from Workflow Logs
EDBT '98 Proceedings of the 6th International Conference on Extending Database Technology: Advances in Database Technology
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
Reset Nets Between Decidability and Undecidability
ICALP '98 Proceedings of the 25th International Colloquium on Automata, Languages and Programming
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
A Comparison Between Petri-Nets and Graph Grammars
WG '80 Proceedings of the International Workshop on Graphtheoretic Concepts in Computer Science
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques
Business Process Management, Models, Techniques, and Empirical Studies
Automating the Discovery of As-Is Business Process Models: Probabilistic and Algorithmic Approaches
Information Systems Research
Workflow mining: a survey of issues and approaches
Data & Knowledge Engineering
Workflow Management: Models, Methods, and Systems
Workflow Management: Models, Methods, and Systems
Workflow Mining: Discovering Process Models from Event Logs
IEEE Transactions on Knowledge and Data Engineering
Process Aware Information Systems: Bridging People and Software Through Process Technology
Process Aware Information Systems: Bridging People and Software Through Process Technology
Business process mining: An industrial application
Information Systems
Synthesis of Petri Nets from Finite Partial Languages
ACSD '07 Proceedings of the Seventh International Conference on Application of Concurrency to System Design
Rediscovering workflow models from event-based data using little thumb
Integrated Computer-Aided Engineering
Conformance checking of processes based on monitoring real behavior
Information Systems
Business Process Management: Concepts, Languages, Architectures
Business Process Management: Concepts, Languages, Architectures
Business alignment: using process mining as a tool for Delta analysis and conformance testing
Requirements Engineering
How to synthesize nets from languages: a survey
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Graph Transformation in a Nutshell
Electronic Notes in Theoretical Computer Science (ENTCS)
Soundness and separability of workflow nets in the stepwise refinement approach
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Process mining framework for software processes
ICSP'07 Proceedings of the 2007 international conference on Software process
Understanding the occurrence of errors in process models based on metrics
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Process mining based on regions of languages
BPM'07 Proceedings of the 5th international conference on Business process management
BPM'06 Proceedings of the 4th international conference on Business Process Management
Analyzing web service based business processes
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Conformance testing: measuring the fit and appropriateness of event logs and process models
BPM'05 Proceedings of the Third international conference on Business Process Management
Hi-index | 0.00 |
Petri nets are frequently used for the modeling and analysis of workflows. Their graphical nature, well-defined semantics, and analysis techniques are attractive as information systems become more "process-aware". Unfortunately, the classical Petri net has problems modeling cancellation in a succinct and direct manner. Modeling cancellation regions in a classical net is impossible or results in a "spaghetti-like" net. Cancellation regions are supported by many workflow management systems, but these systems do not support advanced analysis techniques (process mining, verification, performance analysis, etc.). This paper proposes to use reset workflow nets(RWF-nets) and discusses (1) the discoveryof RWF-nets (i.e., extracting information from event logs to construct such models), (2) the verificationof RWF-nets (i.e., checking whether a workflow process has deadlocks, livelocks, etc.), and (3) the conformanceof an event log with respect to a RWF-net (i.e., comparing real with modeled behavior).