Managing business processes as an information resource
IBM Systems Journal
The synthesis problem of Petri nets
Acta Informatica
The synthesis problem for elementary net systems is NP-complete
Theoretical Computer Science
Deriving Petri Nets from Finite Transition Systems
IEEE Transactions on Computers
Sap R/3 Process Oriented Implementation
Sap R/3 Process Oriented Implementation
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Process Aware Information Systems: Bridging People and Software Through Process Technology
Process Aware Information Systems: Bridging People and Software Through Process Technology
On the semantics of EPCs: resolving the vicious circle
Data & Knowledge Engineering - Special issue: Business process management
YAWL: yet another workflow language
Information Systems
Getting Rid of the OR-Join in Business Process Models
EDOC '07 Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference
Detection and prediction of errors in EPCs of the SAP reference model
Data & Knowledge Engineering
Compiling business processes: untangling unstructured loops in irreducible flow graphs
International Journal of Web and Grid Services
Formalization and verification of EPCs with OR-joins based on state and context
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
The prom framework: a new era in process mining tool support
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
A region-based theory for state assignment in speed-independent circuits
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Survey paper: Refactoring large process model repositories
Computers in Industry
Editorial: Mining business process variants: Challenges, scenarios, algorithms
Data & Knowledge Engineering
A process distance metric based on alignment of process structure trees
APWeb'12 Proceedings of the 14th international conference on Web Technologies and Applications
Causal Behavioural Profiles - Efficient Computation, Applications, and Evaluation
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
The difficulty of replacing an inclusive OR-join
BPM'12 Proceedings of the 10th international conference on Business Process Management
Hi-index | 0.00 |
In practice, the development of process-aware information systems suffers from a gap between conceptual business process models and executable workflow specifications. Because of this gap, conceptual models are hardly reused as execution templates. In this paper, we address two translation challenges that are partly responsible for this gap: the notorious 'OR-join problem' and the multiple start events problem. At the conceptual level people frequently use OR-joins. However, given their non-local semantics, OR-joins cannot be mapped easily onto executable languages. Furthermore, conceptual models often have multiple start events while execution languages require a unique start element. In particular, we present a new approach to mapping a conceptual process model with OR-joins and multiple start events (expressed in terms of an EPC) onto an executable model without OR-joins having a single start element (expressed in terms of a Petri net). Although we used an EPC process model as a running example, the approach is equally applicable to other process modelling languages that offer OR-joins as, for example, BPMN. Moreover, the resulting Petri net can be mapped onto other execution languages such as BPEL. All of this has been implemented in the context of the ProM framework.