Petri nets: an introduction
Structure theory of Petri nets: the free choice hiatus
Advances in Petri nets 1986, part I on Petri nets: central models and their properties
Free choice Petri nets
Woflan: a Petri-net-based workflow analyzer
Systems Analysis Modelling Simulation
Liveness, fairness, and recurrence in Petri nets
Information Processing Letters
Synthesis Rules for Petri Nets, and How they Lead to New Results
CONCUR '90 Proceedings of the Theories of Concurrency: Unification and Extension
Complexity Results for 1-safe Nets
Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science
On Liveness in Extended non Self-Controlling Nets
Proceedings of the 16th International Conference on Application and Theory of Petri Nets
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Circuits, handles, bridges and nets
Proceedings of the 10th International Conference on Applications and Theory of Petri Nets: Advances in Petri Nets 1990
A Proof of the Rank Theorem for Extended Free Choice Nets
Proceedings of the 13th International Conference on Application and Theory of Petri Nets
Modeling and Enactment of Workflow Systems
Proceedings of the 14th International Conference on Application and Theory of Petri Nets
Proper termination of flow-of-control in programs involving concurrent processes
ACM SIGPLAN Notices - Special issue on control structures in programming languages
Linear Temporal Inference of Workflow Management Systems Based on Timed Petri Nets Models
EDCIS '02 Proceedings of the First International Conference on Engineering and Deployment of Cooperative Information Systems
Making Work Flow: On the Application of Petri Nets to Business Process Management
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Agent Behavior Alignment: A Mechanism to Overcome Problems in Agent Interactions During Runtime
CIA '07 Proceedings of the 11th international workshop on Cooperative Information Agents XI
Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Assigning Ontology-Based Semantics to Process Models: The Case of Petri Nets
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
Introducing a Process Infrastructure for Agent Systems
Languages, Methodologies and Development Tools for Multi-Agent Systems
Discovery, Verification and Conformance of Workflows with Cancellation
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Combining Quality Assurance and Model Transformations in Business-Driven Development
Applications of Graph Transformations with Industrial Relevance
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
A service-based architecture for dynamically reconfigurable workflows
Journal of Systems and Software
Deciding behaviour compatibility of complex correspondences between process models
BPM'10 Proceedings of the 8th international conference on Business process management
Symbolic execution of acyclic workflow graphs
BPM'10 Proceedings of the 8th international conference on Business process management
Structuring acyclic process models
BPM'10 Proceedings of the 8th international conference on Business process management
Refactoring of process model activity labels
NLDB'10 Proceedings of the Natural language processing and information systems, and 15th international conference on Applications of natural language to information systems
A method of workflow scheduling based on colored Petri nets
Data & Knowledge Engineering
Generating sound workflow views for correct provenance analysis
ACM Transactions on Database Systems (TODS)
Visually specifying compliance rules and explaining their violations for business processes
Journal of Visual Languages and Computing
The biconnected verification of workflow nets
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
Service research challenges and solutions for the future internet
Process compliance analysis based on behavioural profiles
Information Systems
A foundational approach for managing process variability
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
Validation of agile workflows using simulation
LADS'10 Proceedings of the Third international conference on Languages, methodologies, and development tools for multi-agent systems
Behavioral similarity: a proper metric
BPM'11 Proceedings of the 9th international conference on Business process management
An architectural approach to end user orchestrations
ECSA'11 Proceedings of the 5th European conference on Software architecture
Content-based validation of business process modifications
ER'11 Proceedings of the 30th international conference on Conceptual modeling
An UML _AD-to-event_B refinement based approach for specifying and verifying workflow applications
Proceedings of the 13th International Conference on Information Integration and Web-based Applications and Services
Decomposition-based verification of cyclic workflows
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
Policy-based workflow management system
WAIM'05 Proceedings of the 6th international conference on Advances in Web-Age Information Management
BPM'06 Proceedings of the 4th international conference on Business Process Management
Nested nets for adaptive systems
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Mining of flexible manufacturing system using work event logs and petri nets
ADMA'06 Proceedings of the Second international conference on Advanced Data Mining and Applications
Verification of EPCs: using reduction rules and petri nets
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
The price of coordination in resource management
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Modeling and assessment of production printing workflows using petri nets
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Soundness of resource-constrained workflow nets
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
WorkflowNet2BPEL4WS: a tool for translating unstructured workflow processes to readable BPEL
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
On the refactoring of activity labels in business process models
Information Systems
Structuring acyclic process models
Information Systems
Efficient computation of causal behavioural profiles using structural decomposition
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Modelling of service compositions: relations to business process and workflow modelling
ICSOC'06 Proceedings of the 4th international conference on Service-oriented computing
Computing degree of parallelism for BPMN processes
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
State propagation in abstracted business processes
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
Factors of process model comprehension-Findings from a series of experiments
Decision Support Systems
On enabling integrated process compliance with semantic constraints in process management systems
Information Systems Frontiers
Causal Behavioural Profiles - Efficient Computation, Applications, and Evaluation
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
Process redesign for liquidity planning in practice: an empirical assessment
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
Design, Analysis and Verification of Real-Time Systems Based on Time Petri Net Refinement
ACM Transactions on Embedded Computing Systems (TECS) - Special Issue on Modeling and Verification of Discrete Event Systems
Business process architecture: use and correctness
BPM'12 Proceedings of the 10th international conference on Business Process Management
A declarative framework for work process configuration
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Assigning Ontological Meaning to Workflow Nets
Journal of Database Management
Financial Evaluation and Optimization of Business Processes
International Journal of Information System Modeling and Design
Discovering block-structured process models from event logs - a constructive approach
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
Service net algebra based on logic Petri nets
Information Sciences: an International Journal
| Hi-index | 0.00 |
Workflow management systems facilitate the everyday operation of business processes by taking care of the logistic control of work. In contrast to traditional information systems, they attempt to support frequent changes of the workflows at hand. Therefore, the need for analysis methods to verify the correctness of workflows is becoming more prominent. In this chapter we present a method based on Petri nets. This analysis method exploits the structure of the Petri net to find potential errors in the design of the workflow. Moreover, the analysis method allows for the compositional verification of workflows.