SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Workflow Soundness Verification Based on Structure Theory of Petri Nets
0 references·5 citing·12 second hop
Workflow Soundness Verification Based on Structure Theory of Petri Nets (2007)Workflow Soundness Verification Based on …Workflow Nets With Tables and Their Soundness (2019)Workflow Nets With Tables and…Measurement and Computation of Profile Similarity of Workflow Nets Based on Behavioral Relation Matrix (2018)Measurement and Computation o…Generating sound workflow views for correct provenance analysis (2011)Generating sound workflow vie…Decidability Results for Soundness Criteria of Resource-Constrained Workflow Nets (2011)Decidability Results for Soun…On the verification of business processes by model checking techniques (2010)On the verification of busine…Verification of workflow nets (1997)THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT (1998)Structural soundness of workflow nets is decidable (2005)Kepler: An Extensible System for Design and Execution of Scientific Workflows (2004)Taverna: a tool for the composition and enactment of bioinformatics workflows (2004)Provenance and scientific workflows (2008)An overview of workflow management: From process modeling to workflow automation infrastructure (1995)Modeling and Analysis of Workflows Using Petri Nets (1998)Three Good Reasons for Using a Petri-Net-Based Workflow Management System (1998)Business Process Management : Concepts, Languages, Architectures (2007)Process Mining (2016)Analyzing process models using graph reduction techniques (2000)
this work references cited by second hop

References

No references inside the corpus for this window.

Cited by

  • 2018Measurement and Computation of Profile Similarity of Workflow Nets Based on Behavioral Relation Matrix19 cited
  • 2019Workflow Nets With Tables and Their Soundness17 cited
  • 2011Decidability Results for Soundness Criteria of Resource-Constrained Workflow Nets16 cited
  • 2010On the verification of business processes by model checking techniques16 cited
  • 2011Generating sound workflow views for correct provenance analysis11 cited

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