SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
A Guard-Driven Analysis Approach of Workflow Net with Data
9 references·1 citing·41 second hop
A Guard-Driven Analysis Approach of Workflow Net with Data (2019)A Guard-Driven Analysis Approach of Workf…A Branching-Process-Based Method to Check Soundness of Workflow Systems (2016)A Branching-Process-Based Met…Detecting Data-Flow Errors in BPMN 2.0 (2014)Detecting Data-Flow Errors in…Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible (2011)Soundness verification for co…Workflow Soundness Revisited: Checking Correctness in the Presence of Data While Staying Conceptual (2010)Workflow Soundness Revisited:…Soundness of workflow nets: classification, decidability, and analysis (2010)Soundness of workflow nets: c…On Detecting Data Flow Errors in Workflows (2010)On Detecting Data Flow Errors…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…Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows (2009)Data-Flow Anti-patterns: Disc…Formulating the Data-Flow Perspective for Business Process Management (2006)Formulating the Data-Flow Per…Self-Adaptive Execution of Data-Aware Workflow Processes (2019)Self-Adaptive Execution of Da…THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT (1998)Process‐Aware Information Systems (2005)Process-aware information systems: bridging people and software through process technology (2006)Business Process Modeling Using Petri Nets (2013)Workflow Nets With Tables and Their Soundness (2019)Treatise on Basic Philosophy (1977)Treatise on Basic Philosophy (1989)Anchoring data quality dimensions in ontological foundations (1996)Analysis of information quality requirements in business processes, revisited (2016)Data Impact Analysis in Business Processes (2019)Process modeling (1992)Workflow Patterns (2003)On the refactoring of activity labels in business process models (2012)From Representation to Mediation: A New Agenda for Conceptual Modeling Research in a Digital World (2021)Adeptflex—Supporting Dynamic Changes of Workflows Without Losing Control (1998)Scientific workflow management and the Kepler system (2005)An Empirical Study on Data Flow Bugs in Business Processes (2018)Checking Missing-Data Errors in Cyber-Physical Systems Based on the Merged Process of Petri Nets (2022)Business Process Management : Concepts, Languages, Architectures (2007)Business Process Variability Modeling (2017)Split miner: automated discovery of accurate and simple business process models from event logs (2018)Object-Centric Process Mining: Dealing with Divergence and Convergence in Event Data (2019)An overview of workflow management: From process modeling to workflow automation infrastructure (1995)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)Workflow Management—Models, Methods and Systems (2003)Ensuring correctness during process configuration via partner synthesis (2011)Detection of naming convention violations in process models for different languages (2013)A Holistic Approach for Soundness Verification of Decision-Aware Process Models (2018)Transforming BPEL to Petri Nets (2005)Semantics and analysis of business process models in BPMN (2008)Hierarchical Verification for the BPMN Design Model Using State Space Analysis (2019)Supporting Dynamic Workflows with Automatic Extraction of Goals from BPMN (2019)Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques (2000)Diagnosing Workflow Processes using Woflan (2001)Automatic Discovery of Behavioral Models From Software Execution Data (2018)Petri net-based methods for analyzing structural security in e-commerce business processes (2018)Petri Net Based Data-Flow Error Detection and Correction Strategy for Business Processes (2020)Conformance checking of processes based on monitoring real behavior (2007)Data-aware process mining (2013)
this work references cited by second hop

References

  • 2010Soundness of workflow nets: classification, decidability, and analysis372 cited
  • 2006Formulating the Data-Flow Perspective for Business Process Management221 cited
  • 2009Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows187 cited
  • 2011Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible74 cited
  • 2010Workflow Soundness Revisited: Checking Correctness in the Presence of Data While Staying Conceptual47 cited
  • 2016A Branching-Process-Based Method to Check Soundness of Workflow Systems46 cited
  • 2010Mirror, Mirror on the Wall, Can I Count on You at All? Exploring Data Inaccuracy in Business Processes39 cited
  • 2010On Detecting Data Flow Errors in Workflows38 cited
  • 2014Detecting Data-Flow Errors in BPMN 2.034 cited

Cited by

  • 2019Self-Adaptive Execution of Data-Aware Workflow Processes14 cited

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