SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Can I find a partner? Undecidability of partner existence for open nets
4 references·0 citing·16 second hop
Can I find a partner? Undecidability of partner existence for open nets (2008)Can I find a partner? Undecidability of p…Analyzing interacting WS-BPEL processes using flexible model generation (2007)Analyzing interacting WS-BPEL…Controllability of Open Workflow Nets. (2005)Controllability of Open Workf…Inter-operability of Workflow Applications: Local Criteria for Global Soundness (2000)Inter-operability of Workflow…THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT (1998)THE APPLICATION OF PETRI NETS…Verification of workflow nets (1997)Interorganizational workflows: An approach based on message sequence charts and petri nets (1999)Inheritance of Interorganizational Workflows to Enable Business-to-Business E-Commerce (2002)Inheritance of Interorganizational Workflows: How to Agree to Disagree Without Loosing Control? (2003)Evolution of Process Choreographies in DYCHOR (2006)Transforming BPEL to Petri Nets (2005)Analyzing Interacting BPEL Processes (2006)Analyzing BPEL4Chor: Verification and Participant Synthesis (2008)Process instantiation (2009)Análise sobre os conceitos e práticas de Gestão por Processos: revisão sistemática e bibliometria (2015)Workflow Patterns (2003)Workflow mining: discovering process models from event logs (2004)YAWL: yet another workflow language (2004)A scenario-based verification technique to assess the compatibility of collaborative business processes (2008)Fully-automatic Translation of Open Workflow Net Models into Simple Abstract BPEL Processes (2008)Comparing and evaluating Petri net semantics for BPEL (2009)
this work references cited by second hop

References

  • 1998THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT2,706 cited
  • 2000Inter-operability of Workflow Applications: Local Criteria for Global Soundness105 cited
  • 2007Analyzing interacting WS-BPEL processes using flexible model generation104 cited
  • 2005Controllability of Open Workflow Nets.45 cited

Cited by

No citing works inside the corpus for this window.

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