Process algebra
Principles of Program Analysis
Principles of Program Analysis
Distributed and Parallel Databases
Reset Nets Between Decidability and Undecidability
ICALP '98 Proceedings of the 25th International Colloquium on Automata, Languages and Programming
On the semantics of EPCs: resolving the vicious circle
Data & Knowledge Engineering - Special issue: Business process management
YAWL: yet another workflow language
Information Systems
Analyzing interacting WS-BPEL processes using flexible model generation
Data & Knowledge Engineering
Semantics and analysis of business process models in BPMN
Information and Software Technology
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Woflan 2.0: a Petri-net-based workflow diagnosis tool
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Operating guidelines for finite-state services
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Analyzing BPEL4Chor: verification and participant synthesis
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Analyzing interacting BPEL processes
BPM'06 Proceedings of the 4th international conference on Business Process Management
BPM'06 Proceedings of the 4th international conference on Business Process Management
WofBPEL: a tool for automated analysis of BPEL processes
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Transforming BPEL to petri nets
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Achieving a general, formal and decidable approach to the OR-Join in workflow using reset nets
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
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
Set Algebra for Service Behavior: Applications and Constructions
BPM '09 Proceedings of the 7th International Conference on Business Process Management
How to implement a theory of correctness in the area of business processes and services
BPM'10 Proceedings of the 8th international conference on Business process management
Similarity of business process models: Metrics and evaluation
Information Systems
Visually specifying compliance rules and explaining their violations for business processes
Journal of Visual Languages and Computing
Efficient and accurate retrieval of business process models through indexing
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
Strong non-leak guarantees for workflow models
Proceedings of the 2011 ACM Symposium on Applied Computing
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
Process compliance analysis based on behavioural profiles
Information Systems
Querying business process models based on semantics
DASFAA'11 Proceedings of the 16th international conference on Database systems for advanced applications: Part II
A foundational approach for managing process variability
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
Automated error correction of business process models
BPM'11 Proceedings of the 9th international conference on Business process management
Behavioral similarity: a proper metric
BPM'11 Proceedings of the 9th international conference on Business process management
InDico: information flow analysis of business processes for confidentiality requirements
STM'10 Proceedings of the 6th international conference on Security and trust management
Efficient retrieval of similar business process models based on structure
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems - Volume Part I
Propagating changes between aligned process models
Journal of Systems and Software
On the exploitation of process mining for security audits: the conformance checking case
Proceedings of the 27th Annual ACM Symposium on Applied Computing
BOB the builder: a fast and friendly model-to-petrinet transformer
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
Causal Behavioural Profiles - Efficient Computation, Applications, and Evaluation
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
On profiles and footprints --- relational semantics for petri nets
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
Automatic information flow analysis of business process models
BPM'12 Proceedings of the 10th international conference on Business Process Management
Isotactics as a foundation for alignment and abstraction of behavioral models
BPM'12 Proceedings of the 10th international conference on Business Process Management
Embedding conformance checking in a process intelligence system in hospital environments
BPM' 2012 Proceedings of the 2012 international conference on Process Support and Knowledge Representation in Health Care
Analyzing business process architectures
CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering
Efficient recovery of missing events
Proceedings of the VLDB Endowment
Querying business process model repositories
World Wide Web
Hi-index | 0.00 |
In Process-Aware Information Systems, business processes are often modeled in an explicit way. Roughly speaking, the available business process modeling languages can be divided into two groups.Languages from the first group are preferred by academic people but shunned by business people, and include Petri nets and process algebras. These academic languages have a proper formal semantics, which allows the corresponding academic models to be verified in a formal way. Languages from the second group are preferred by business people but disliked by academic people, and include BPEL, BPMN, and EPCs. These business languages often lack any proper semantics, which often leads to debates on how to interpret certain business models. Nevertheless, business models are used in practice, whereas academic models are hardly used. To be able to use, for example, the abundance of Petri net verification techniques on business models, we need to be able to transform these models to Petri nets. In this paper, we investigate a number of Petri net transformations that already exist.For every transformation, we investigate the transformation itself, the constructs in the business models that are problematic for the transformation and the main applications for the transformation.