SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Formulating the Data-Flow Modeling and Verification for Workflow: A Petri Net based Approach
11 references·0 citing·39 second hop
Formulating the Data-Flow Modeling and Verification for Workflow: A Petri Net based Approach (2014)Formulating the Data-Flow Modeling and Ve…Modeling and Verification for Cross-Department Collaborative Business Processes Using Extended Petri Nets (2014)Modeling and Verification for…Soundness of workflow nets: classification, decidability, and analysis (2010)Soundness of workflow nets: c…Process-Mining-Based Workflow Model Fragmentation for Distributed Execution (2010)Process-Mining-Based Workflow…Dual Workflow Nets: Mixed Control/Data-Flow Representation for Workflow Modeling and Verification (2007)Dual Workflow Nets: Mixed Con…Detecting Data Flow Errors in Workflows: A Systematic Graph Traversal Approach (2007)Detecting Data Flow Errors in…Conflict detection and resolution for workflows constrained by resources and non-determined durations (2007)Conflict detection and resolu…Formulating the Data-Flow Perspective for Business Process Management (2006)Formulating the Data-Flow Per…Performance modeling and analysis of workflow (2004)Performance modeling and anal…Data flow and validation in workflow modelling (2004)Data flow and validation in w…Timing constraint workflow nets for workflow analysis (2003)Timing constraint workflow ne…THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT (1998)THE APPLICATION OF PETRI NETS…Analyzing process models using graph reduction techniques (2000)Workflow Management: Models, Methods, and Systems (2001)Workflow Management (2002)Enabling effective workflow model reuse: A data-centric approach (2016)Verification of workflow nets (1997)Adeptflex—Supporting Dynamic Changes of Workflows Without Losing Control (1998)ARIS — Business Process Modeling (1999)Diagnosing and Repairing Data Anomalies in Process Models (2010)Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible (2011)Detecting data-flow errors based on Petri nets with data operations (2017)Managing Change (1992)Workflow mining: discovering process models from event logs (2004)Network-based social coordination of business processes (2016)Petri Net Based Data-Flow Error Detection and Correction Strategy for Business Processes (2020)Top-Down Process Mining From Multi-Source Running Logs Based on Refinement of Petri Nets (2020)Three Good Reasons for Using a Petri-Net-Based Workflow Management System (1998)Loosely coupled interorganizational workflows: (2000)Probabilistic Model Checking-Based Service Selection Method for Business Process Modeling (2017)Opportunities and challenges for applying process mining in healthcare: a systematic mapping study (2021)Cross-Department Collaborative Healthcare Process Model Discovery From Event Logs (2022)Process modeling (1992)Workflow Patterns (2003)Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows (2009)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)An overview of workflow management: From process modeling to workflow automation infrastructure (1995)Workflow Management: Modeling Concepts, Architecture and Implementation (1996)Modeling and Analysis of Real-Time Cooperative Systems Using Petri Nets (2007)Modelling and analysis techniques for cross‐organizational workflow systems (2009)E-Net Modeling and Analysis of Emergency Response Processes Constrained by Resources and Uncertain Durations (2014)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)YAWL: yet another workflow language (2004)A Task Operation Model for Resource Allocation Optimization in Business Process Management (2012)A Framework for the Analysis of Process Mining Algorithms (2013)Resource conflict detection and removal strategy for nondeterministic emergency response processes using Petri nets (2015)A multi-agent optimization algorithm for resource constrained project scheduling problem (2015)
this work references cited by second hop

References

  • 1998THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT2,706 cited
  • 2010Soundness of workflow nets: classification, decidability, and analysis372 cited
  • 2006Formulating the Data-Flow Perspective for Business Process Management221 cited
  • 2004Data flow and validation in workflow modelling173 cited
  • 2004Performance modeling and analysis of workflow155 cited
  • 2003Timing constraint workflow nets for workflow analysis114 cited
  • 2014Modeling and Verification for Cross-Department Collaborative Business Processes Using Extended Petri Nets68 cited
  • 2010Process-Mining-Based Workflow Model Fragmentation for Distributed Execution43 cited
  • 2007Conflict detection and resolution for workflows constrained by resources and non-determined durations35 cited
  • 2007Detecting Data Flow Errors in Workflows: A Systematic Graph Traversal Approach22 cited
  • 2007Dual Workflow Nets: Mixed Control/Data-Flow Representation for Workflow Modeling and Verification20 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