SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Analyzing BPEL4Chor: Verification and Participant Synthesis
4 references·3 citing·19 second hop
Analyzing BPEL4Chor: Verification and Participant Synthesis (2008)Analyzing BPEL4Chor: Verification and Par…Analyzing interacting WS-BPEL processes using flexible model generation (2007)Analyzing interacting WS-BPEL…Investigations on Soundness Regarding Lazy Activities (2006)Investigations on Soundness R…Analyzing Interacting BPEL Processes (2006)Analyzing Interacting BPEL Pr…THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT (1998)THE APPLICATION OF PETRI NETS…How to Implement a Theory of Correctness in the Area of Business Processes and Services (2010)How to Implement a Theory of …Comparing and evaluating Petri net semantics for BPEL (2009)Comparing and evaluating Petr…Fully-automatic Translation of Open Workflow Net Models into Simple Abstract BPEL Processes (2008)Fully-automatic Translation o…Verification of workflow nets (1997)Business Process Management: A Survey (2003)Workflow Patterns (2003)Towards a Formal Framework for Reuse in Business Process Modeling (2008)Process instantiation (2009)Formal verification of complex business processes based on high-level Petri nets (2017)Workflow mining: A survey of issues and approaches (2003)YAWL: yet another workflow language (2004)Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes (2011)Resource conflict detection and removal strategy for nondeterministic emergency response processes using Petri nets (2015)Transforming BPEL to Petri Nets (2005)Translating unstructured workflow processes to readable BPEL: Theory and implementation (2006)Multiparty Contracts: Agreeing and Implementing Interorganizational Processes (2008)Process-Aware Information Systems: Lessons to Be Learned from Process Mining (2009)Diagnosing Workflow Processes using Woflan (2001)Controllability of Open Workflow Nets. (2005)Translating Standard Process Models to BPEL (2006)Análise sobre os conceitos e práticas de Gestão por Processos: revisão sistemática e bibliometria (2015)Workflow mining: discovering process models from event logs (2004)
this work references cited by second hop

References

  • 1998THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT2,706 cited
  • 2006Analyzing Interacting BPEL Processes119 cited
  • 2007Analyzing interacting WS-BPEL processes using flexible model generation104 cited
  • 2006Investigations on Soundness Regarding Lazy Activities73 cited

Cited by

  • 2009Comparing and evaluating Petri net semantics for BPEL41 cited
  • 2008Fully-automatic Translation of Open Workflow Net Models into Simple Abstract BPEL Processes32 cited
  • 2010How to Implement a Theory of Correctness in the Area of Business Processes and Services18 cited

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