SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Workflow Soundness Revisited: Checking Correctness in the Presence of Data While Staying Conceptual
6 references·8 citing·35 second hop
Workflow Soundness Revisited: Checking Correctness in the Presence of Data While Staying Conceptual (2010)Workflow Soundness Revisited: Checking Co…Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows (2009)Data-Flow Anti-patterns: Disc…ProM 4.0: Comprehensive Support for Real Process Analysis (2007)ProM 4.0: Comprehensive Suppo…Process-aware information systems: bridging people and software through process technology (2006)Process-aware information sys…Process‐Aware Information Systems (2005)Process‐Aware Information Sys…Relaxed Soundness of Business Processes (2001)Relaxed Soundness of Business…THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT (1998)THE APPLICATION OF PETRI NETS…Workflow Nets With Tables and Their Soundness (2019)Workflow Nets With Tables and…A Guard-Driven Analysis Approach of Workflow Net with Data (2019)A Guard-Driven Analysis Appro…Verifying the Correctness of Workflow Systems Based on Workflow Net With Data Constraints (2018)Verifying the Correctness of …Instance Migration Validity for Dynamic Evolution of Data-Aware Processes (2018)Instance Migration Validity f…Analysis of information quality requirements in business processes, revisited (2016)Analysis of information quali…Modeling and Reasoning about Information Quality Requirements in Business Processes (2015)Modeling and Reasoning about …Business Process Modeling Using Petri Nets (2013)Business Process Modeling Usi…Mirror, Mirror on the Wall, Can I Count on You at All? Exploring Data Inaccuracy in Business Processes (2010)Mirror, Mirror on the Wall, C…Verification of workflow nets (1997)Formalization and verification of event-driven process chains (1999)Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach (2003)Verification of EPCs: Using Reduction Rules and Petri Nets (2005)Detection and Prediction of Errors in EPC Business Process Models. (2007)Treatise on Basic Philosophy (1977)Treatise on Basic Philosophy (1989)Anchoring data quality dimensions in ontological foundations (1996)Data Impact Analysis in Business Processes (2019)Reengineering Work: Don’t Automate, Obliterate (1990)Verifying soundness of business processes: A decision process Petri nets approach (2014)Conformance checking of mixed-paradigm process models (2020)Evaluating large language models on business process modeling: framework, benchmark, and self-improvement analysis (2025)Workflow mining: A survey of issues and approaches (2003)Workflow mining: discovering process models from event logs (2004)The ProM Framework: A New Era in Process Mining Tool Support (2005)Process mining techniques: an application to stroke care. (2008)Process Diagnostics: A Method Based on Process Mining (2009)Workflow simulation for operational decision support (2009)An overview of workflow management: From process modeling to workflow automation infrastructure (1995)Business Process Management : Concepts, Languages, Architectures (2007)Generalizability and Applicability of Model-Based Business Process Compliance-Checking Approaches — A State-of-the-Art Analysis and Research Roadmap (2012)Static and Dynamic Process Change (2016)Are we done with business process compliance: state of the art and challenges ahead (2018)Formulating the Data-Flow Perspective for Business Process Management (2006)Soundness of workflow nets: classification, decidability, and analysis (2010)Self-Adaptive Execution of Data-Aware Workflow Processes (2019)Modeling and Analysis of Workflows Using Petri Nets (1998)Analyzing process models using graph reduction techniques (2000)Declarative workflows: Balancing between flexibility and support (2009)Process mining in healthcare: A literature review (2016)Digital transformation and the new logics of business process management (2020)Workflow Patterns (2003)YAWL: yet another workflow language (2004)DECLARE: Full Support for Loosely-Structured Processes (2007)
this work references cited by second hop

References

  • 1998THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT2,706 cited
  • 2006Process-aware information systems: bridging people and software through process technology617 cited
  • 2005Process‐Aware Information Systems583 cited
  • 2009Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows187 cited
  • 2007ProM 4.0: Comprehensive Support for Real Process Analysis183 cited
  • 2001Relaxed Soundness of Business Processes137 cited

Cited by

  • 2013Business Process Modeling Using Petri Nets40 cited
  • 2010Mirror, Mirror on the Wall, Can I Count on You at All? Exploring Data Inaccuracy in Business Processes39 cited
  • 2019A Guard-Driven Analysis Approach of Workflow Net with Data19 cited
  • 2019Workflow Nets With Tables and Their Soundness17 cited
  • 2015Modeling and Reasoning about Information Quality Requirements in Business Processes17 cited
  • 2016Analysis of information quality requirements in business processes, revisited16 cited
  • 2018Instance Migration Validity for Dynamic Evolution of Data-Aware Processes14 cited
  • 2018Verifying the Correctness of Workflow Systems Based on Workflow Net With Data Constraints13 cited

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