Analyzing BPEL Processes using Petri Nets

Verbeek, H. M. W.; van der Aalst, Wil M. P.

Florida International University, Miami, Florida, USA (2005)
Contribution to a conference proceedings

In: Proceedings of the Second International Workshop on Applications of Petri Nets to Coordination, Workflow and Business Process Management
Page(s)/Article-Nr.: 59-78


  • Department of Computer Science [120000]
  • Chair of Computer Science 9 (Process and Data Science) [122510]