Transforming BPEL to Petri Nets

By S. Hinz, K. Wolf, C. Stahl. International Conference on Business Process Management, 2005

333 citations recorded by the source corpus.

Subfields: Computational Theory and Mathematics, Information Systems, Management Information Systems

View Paper: https://www.semanticscholar.org/paper/8fcee771b7a60b91b9b28b19da446c2a9fbf9689

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Computational Theory and Mathematics

1. Wil M.P. van der Aalst
2. A. T. Hofstede
3. Marlon Dumas
4. H. Verbeek
5. Kees van Hee
6. Natalia V. Sidorova
7. Marc Voorhoeve
8. Moe Thandar Wynn

In Information Systems

1. Wil M.P. van der Aalst
2. Marlon Dumas
3. A. T. Hofstede
4. H. Verbeek
5. Chun Ouyang
6. Remco M. Dijkman
7. Wil van der Aalst
8. Moe Thandar Wynn

In Management Information Systems

1. Wil M.P. van der Aalst
2. Marlon Dumas
3. A. T. Hofstede
4. H. Verbeek
5. Wil van der Aalst
6. Manfred Reichert
7. Remco M. Dijkman
8. Bernd Weber

Citations in the corpus

• Soundness of workflow nets: classification, decidability, and analysis (2011, background): “To support business processes an enterprise information system needs to be aware of these processes and their organizational context.”
• Semantics and analysis of business process models in BPMN (2008, background): “A number of formal semantics of BPEL have been defined in terms of Petri nets and other models of concurrency [11, 19].”
• Formal semantics and analysis of control flow in WS-BPEL (2007, methodology): “nets and is a successor of the BPEL2PN tool based on the translation described in [19, 31].”