SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Qualitative analysis of WorkFlow nets using linear logic: Soundness verification
6 references·0 citing·22 second hop
Qualitative analysis of WorkFlow nets using linear logic: Soundness verification (2009)Qualitative analysis of WorkFlow nets usi…Applying Propositional Logic to Workflow Verification (2004)Applying Propositional Logic …Workflow Management—Models, Methods and Systems (2003)Workflow Management—Models, M…Workflow Management: Models, Methods, and Systems (2001)Workflow Management: Models, …THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT (1998)THE APPLICATION OF PETRI NETS…Verification of workflow nets (1997)Verification of workflow netsStructural characterizations of sound workflow nets (1996)Structural characterizations …Process innovation: reengineering work through information technology (1993)An overview of workflow management: From process modeling to workflow automation infrastructure (1995)Best practices in business process redesign: an overview and qualitative evaluation of successful redesign heuristics (2004)Case handling: a new paradigm for business process support (2004)DECLARE: Full Support for Loosely-Structured Processes (2007)Simulation Modeling and Analysis. (1983)Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants (2007)Policy-Driven Process Mapping (PDPM): Discovering process models from business policies (2009)On Detecting Data Flow Errors in Workflows (2010)Three Good Reasons for Using a Petri-Net-Based Workflow Management System (1998)Woflan: a Petri-net-based workflow analyzer (1999)Reducing the cognitive complexity of business process models (2009)Utilizing domain knowledge in data-driven process discovery: A literature review (2022)Workflow Patterns (2003)Workflow mining: discovering process models from event logs (2004)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)Provenance and scientific workflows (2008)Soundness of workflow nets: classification, decidability, and analysis (2010)Big Data and cloud computing: innovation opportunities and challenges (2016)
this work references cited by second hop

References

  • 1998THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT2,706 cited
  • 1997Verification of workflow nets802 cited
  • 2001Workflow Management: Models, Methods, and Systems742 cited
  • 2003Workflow Management—Models, Methods and Systems537 cited
  • 1996Structural characterizations of sound workflow nets96 cited
  • 2004Applying Propositional Logic to Workflow Verification89 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