SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Time Petri nets for workflow modelling and analysis
5 references·16 citing·39 second hop
Time Petri nets for workflow modelling and analysis (2002)Time Petri nets for workflow modelling an…Time Management in Workflow Systems (1999)Time Management in Workflow S…On Modeling and Verification of Temporal Constraints in Production Workflows (1999)On Modeling and Verification …Three Good Reasons for Using a Petri-Net-Based Workflow Management System (1998)Three Good Reasons for Using …THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT (1998)THE APPLICATION OF PETRI NETS…Verification of workflow nets (1997)Verification of workflow netsPetri Net Based Data-Flow Error Detection and Correction Strategy for Business Processes (2020)Petri Net Based Data-Flow Err…Resource conflict detection and removal strategy for nondeterministic emergency response processes using Petri nets (2015)Resource conflict detection a…The temporal perspective in business process modeling: a survey and research challenges (2014)The temporal perspective in b…Modeling and Verification for Cross-Department Collaborative Business Processes Using Extended Petri Nets (2014)Modeling and Verification for…E-Net Modeling and Analysis of Emergency Response Processes Constrained by Resources and Uncertain Durations (2014)E-Net Modeling and Analysis o…Contracts for cross-organizational workflows as timed Dynamic Condition Response Graphs (2013)Contracts for cross-organizat…Dynamic Checking and Solution to Temporal Violations in Concurrent Workflow Processes (2011)Dynamic Checking and Solution…A method of workflow scheduling based on colored Petri nets (2010)A method of workflow scheduli…Formalisations and applications of BPMN (2009)Formalisations and applicatio…A Relative Timed Semantics for BPMN (2009)A Relative Timed Semantics fo…Classification and evaluation of timed running schemas for workflow based on process mining (2008)Classification and evaluation…An incremental analysis for resource conflicts to workflow specifications (2008)An incremental analysis for r…Conflict detection and resolution for workflows constrained by resources and non-determined durations (2007)Conflict detection and resolu…A timed colored Petri nets modeling for dynamic workflow in product development process (2007)A timed colored Petri nets mo…Workflow Model Analysis Based on Time Constraint Petri Nets (2004)Workflow Model Analysis Based…Petri net-based workflow modelling and analysis of the integrated manufacturing business processes (2004)Petri net-based workflow mode…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)Modeling and Analysis of Workflows Using Petri Nets (1998)Optimized resource allocation for emergency response after earthquake disasters (2000)Hesitant Fuzzy Thermodynamic Method for Emergency Decision Making Based on Prospect Theory (2016)Refinement-Based Hierarchical Modeling and Correctness Verification of Cross-Organization Collaborative Emergency Response Processes (2018)Privacy-Preserving Behavioral Correctness Verification of Cross-Organizational Workflow With Task Synchronization Patterns (2020)Workflow Patterns (2003)A Web services and process-view combined approach for process management of collaborative product development (2009)Petri net-based process monitoring: a workflow management system for process modelling and monitoring (2012)A colored petri net-based modeling method for supply chain inventory management (2021)The action workflow approach to workflow management technology (1992)An overview of workflow management: From process modeling to workflow automation infrastructure (1995)Exotica/FMQM: A Persistent Message-Based Architecture for Distributed Workflow Management (1995)Time patterns for process-aware information systems (2012)Case handling: a new paradigm for business process support (2004)A Declarative Approach for Flexible Business Processes Management (2006)Process-aware information systems: bridging people and software through process technology (2006)Exformatics Declarative Case Management Workflows as DCR Graphs (2013)Efficient discovery of Target-Branched Declare constraints (2015)Web-Based Modelling and Collaborative Simulation of Declarative Processes (2015)Scientific workflow management and the Kepler system (2005)A Process Semantics for BPMN (2008)Formal verification of complex business processes based on high-level Petri nets (2017)A formal approach to modeling and verification of business process collaborations (2018)A formal approach for the analysis of BPMN collaboration models (2021)A timed workflow process model (2001)Timing constraint workflow nets for workflow analysis (2003)Workflow Quality of Service (2003)Interorganizational workflows: An approach based on message sequence charts and petri nets (1999)Petri net-based modelling of workflow systems: An overview (2001)Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management (2004)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)
this work references cited by second hop

References

  • 1998THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT2,706 cited
  • 1997Verification of workflow nets802 cited
  • 1998Three Good Reasons for Using a Petri-Net-Based Workflow Management System293 cited
  • 1999On Modeling and Verification of Temporal Constraints in Production Workflows148 cited
  • 1999Time Management in Workflow Systems119 cited

Cited by

  • 2014E-Net Modeling and Analysis of Emergency Response Processes Constrained by Resources and Uncertain Durations80 cited
  • 2009Formalisations and applications of BPMN78 cited
  • 2014Modeling and Verification for Cross-Department Collaborative Business Processes Using Extended Petri Nets68 cited
  • 2013Contracts for cross-organizational workflows as timed Dynamic Condition Response Graphs60 cited
  • 2007A timed colored Petri nets modeling for dynamic workflow in product development process59 cited
  • 2014The temporal perspective in business process modeling: a survey and research challenges56 cited
  • 2009A Relative Timed Semantics for BPMN56 cited
  • 2011Dynamic Checking and Solution to Temporal Violations in Concurrent Workflow Processes53 cited
  • 2015Resource conflict detection and removal strategy for nondeterministic emergency response processes using Petri nets41 cited

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

  • 2007Conflict detection and resolution for workflows constrained by resources and non-determined durations35 cited
  • 2020Petri Net Based Data-Flow Error Detection and Correction Strategy for Business Processes32 cited
  • 2004Workflow Model Analysis Based on Time Constraint Petri Nets29 cited
  • 2004Petri net-based workflow modelling and analysis of the integrated manufacturing business processes26 cited
  • 2010A method of workflow scheduling based on colored Petri nets25 cited
  • 2008Classification and evaluation of timed running schemas for workflow based on process mining20 cited
  • 2008An incremental analysis for resource conflicts to workflow specifications20 cited