Concurrent bisimulations in Petri nets
Acta Informatica
Analysis of Petri Nets by Ordering Relations in Reduced Unfoldings
Formal Methods in System Design
An Improvement of McMillan's Unfolding Algorithm
Formal Methods in System Design
On Structured Workflow Modelling
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
The Linear Time-Branching Time Spectrum (Extended Abstract)
CONCUR '90 Proceedings of the Theories of Concurrency: Unification and Extension
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
The refined process structure tree
Data & Knowledge Engineering
From business process models to process-oriented software systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Controllability in Temporal Conceptual Workflow Schemata
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Unveiling Hidden Unstructured Regions in Process Models
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I
Linear-time modular decomposition of directed graphs
Discrete Applied Mathematics - Structural decompositions, width parameters, and graph labelings (DAS 5)
An analysis and taxonomy of unstructured workflows
BPM'05 Proceedings of the 3rd international conference on Business Process Management
An Incremental Approach to the Analysis and Transformation of Workflows Using Region Trees
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Survey paper: Refactoring large process model repositories
Computers in Industry
Generalised computation of behavioural profiles based on petri-net unfoldings
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
Querying business process models based on semantics
DASFAA'11 Proceedings of the 16th international conference on Database systems for advanced applications: Part II
Validation of families of business processes
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
Simplifying mined process models: an approach based on unfoldings
BPM'11 Proceedings of the 9th international conference on Business process management
Structuring acyclic process models
Information Systems
Causal Behavioural Profiles - Efficient Computation, Applications, and Evaluation
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
Modeling and validation of business process families
Information Systems
Detection of naming convention violations in process models for different languages
Decision Support Systems
Hi-index | 0.00 |
This paper addresses the problem of transforming a process model with an arbitrary topology into an equivalent well-structured process model. While this problem has received significant attention, there is still no full characterization of the class of unstructured process models that can be transformed into well-structured ones, nor an automated method to structure any process model that belongs to this class. This paper fills this gap in the context of acyclic process models. The paper defines a necessary and sufficient condition for an unstructured process model to have an equivalent structured model under fully concurrent bisimulation, as well as a complete structuring method.