SZodixStudyAcademic Library
DashboardShelvesOpen accessMy libraryInboxNotesWriteLearnAlerts
More
Ask your libraryNotificationsQuick citeReview
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Analyzing BPEL processes using Petri nets
6 references·5 citing·34 second hop
Analyzing BPEL processes using Petri nets (2005)Analyzing BPEL processes using Petri netsBusiness process modeling languages (2010)Business process modeling lan…Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach (2003)Soundness and Separability of…Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques (2000)Workflow Verification: Findin…Woflan 2.0 A Petri-Net-Based Workflow Diagnosis Tool (2000)Woflan 2.0 A Petri-Net-Based …THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT (1998)THE APPLICATION OF PETRI NETS…Verification of workflow nets (1997)Verification of workflow netsA framework for analytics and simulation of accounting information systems: A Petri net modeling primer (2017)A framework for analytics and…A service-based architecture for dynamically reconfigurable workflows (2010)A service-based architecture …WorkflowNet2BPEL4WS: A Tool for Translating Unstructured Workflow Processes to Readable BPEL (2006)WorkflowNet2BPEL4WS: A Tool f…Translating workflow nets to BPEL (2005)Translating workflow nets to …Let’s Go All the Way: From Requirements Via Colored Workflow Nets to a BPEL Implementation of a New Bank System (2005)Let’s Go All the Way: From Re…An overview of workflow management: From process modeling to workflow automation infrastructure (1995)Workflow Management (2002)Workflow Patterns (2003)On the transformation of control flow between block-oriented and graph-oriented process modelling languages (2008)An Empirical Study of Error Patterns in Industrial Business Process Models (2014)Workflow Management: Models, Methods, and Systems (2001)Generalised Soundness of Workflow Nets Is Decidable (2004)Translating unstructured workflow processes to readable BPEL: Theory and implementation (2006)Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants (2007)Diagnosing Workflow Processes using Woflan (2001)Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants (2007)Empirical Studies in Process Model Verification (2009)Formal verification of complex business processes based on high-level Petri nets (2017)Process modeling (1992)Electronic Commerce: A Managerial Perspective (1999)Tools for Inventing Organizations: Toward a Handbook of Organizational Processes (1999)Semantic business process management: a vision towards using semantic Web services for business process management (2005)Business process management (BPM) standards: a survey (2009)Business Process Modeling- A Comparative Analysis (2009)Workflow mining: discovering process models from event logs (2004)Business to IT Transformations Revisited (2009)Workflow Management: Modeling Concepts, Architecture and Implementation (1996)What Makes Process Models Understandable? (2007)Soundness of workflow nets: classification, decidability, and analysis (2010)Role-Based Access Control (2002)Applications of Goods Mutation Control Form in Accounting Information System: A Case Study in Sumber Indah Perkasa Manufacturing, Indonesia (2020)Analisis Sistem Informasi Akuntansi, Pengwasan Intern Dan Kompleksitas Tugas Terhadap Kinerja Pada Kantor Dinas Kebudayaan Dan Pariwisata di Aceh (2022)Getting rid of OR-joins and multiple start events in business process models (2008)Controllability of business processes with temporal variables (2019)Translating Workflow Nets to Process Trees: An Algorithmic Approach (2020)YAWL: yet another workflow language (2004)Formalization and verification of event-driven process chains (1999)Analyzing process models using graph reduction techniques (2000)Inheritance of workflows: an approach to tackling problems related to change (2002)
this work references cited by second hop

References

  • 1998THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT2,706 cited
  • 1997Verification of workflow nets802 cited
  • 2010Business process modeling languages439 cited
  • 2000Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques435 cited
  • 2003Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach117 cited
  • 2000Woflan 2.0 A Petri-Net-Based Workflow Diagnosis Tool80 cited

Cited by

  • 2005Let’s Go All the Way: From Requirements Via Colored Workflow Nets to a BPEL Implementation of a New Bank System48 cited
  • 2005Translating workflow nets to BPEL36 cited
  • 2006WorkflowNet2BPEL4WS: A Tool for Translating Unstructured Workflow Processes to Readable BPEL30 cited
  • 2017A framework for analytics and simulation of accounting information systems: A Petri net modeling primer26 cited
  • 2010A service-based architecture for dynamically reconfigurable workflows23 cited

Only edges whose both ends are imported exist here. Widen the year window, or show the whole map. Back to the work