SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Dynamic verification of temporal constraints in production workflows
5 references·9 citing·38 second hop
Dynamic verification of temporal constraints in production workflows (2002)Dynamic verification of temporal constrai…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 …On Correctness Issues in Conceptual Modelling of Workflows. (1997)On Correctness Issues in Conc…Electronic Commerce: Current Research Issues and Applications (1996)Electronic Commerce: Current …Group Support Systems: New Perspectives (1992)Group Support Systems: New Pe…Dynamic Checking and Solution to Temporal Violations in Concurrent Workflow Processes (2011)Dynamic Checking and Solution…Modelling dependable collaborative time-constrained business processes (2010)Modelling dependable collabor…Dwelling time probability density distribution of instances in a workflow model (2009)Dwelling time probability den…Detecting artifact anomalies in business process specifications with a formal model (2009)Detecting artifact anomalies …Temporal Consistency of View Based Interorganizational Workflows (2008)Temporal Consistency of View …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…Dynamic Verification of Temporal Constraints on-the-fly for Workflow Systems (2005)Dynamic Verification of Tempo…Workflow Model Analysis Based on Time Constraint Petri Nets (2004)Workflow Model Analysis Based…Modeling and enactment of workflow systems (1993)An overview of workflow management: From process modeling to workflow automation infrastructure (1995)Conceptual modeling of workflows (1995)Automating handover in dynamic workflow environments (1998)On Capturing Process Requirements of Workflow Based Business Information Systems (1999)Handling dynamic schema change in process models (2002)Managing Change (1992)THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT (1998)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)The action workflow approach to workflow management technology (1992)Exotica/FMQM: A Persistent Message-Based Architecture for Distributed Workflow Management (1995)Time patterns for process-aware information systems (2012)Formalization and verification of event-driven process chains (1999)The quest for resilience. (2003)Workflow Patterns (2003)A system framework of inter-enterprise machining quality control based on fractal theory (2012)Multicriteria framework for selecting a process modelling language (2014)An evolving fuzzy inference system for extraction of rule set for planning a product–service strategy (2015)Workflow Management: Modeling Concepts, Architecture and Implementation (1996)Modeling and Analysis of Workflows Using Petri Nets (1998)Time Constraints in Workflow Systems (2013)Toward a Time-centric modeling of Business Processes in BPMN 2.0 (2013)Enhancing Formal Specification and Verification of Temporal Constraints in Business Processes (2014)A metamodel to integrate business processes time perspective in BPMN 2.0 (2016)Analyzing process models using graph reduction techniques (2000)Throughput based temporal verification for monitoring large batch of parallel processes (2014)MANAGING CHANGE AND TIME IN DYNAMIC WORKFLOW PROCESSES (2000)Lessons from a Dozen Years of Group Support Systems Research: A Discussion of Lab and Field Findings (1996)Virtual Teams versus Face‐to‐Face Teams: An Exploratory Study of a Web‐based Conference System* (1997)Principles of canonical action research (2004)A timed workflow process model (2001)Timing constraint workflow nets for workflow analysis (2003)Workflow Quality of Service (2003)Temporal workflow management in a claim handling system (1999)Temporal workflow management in a claim handling system (1999)
this work references cited by second hop

References

  • 1992Group Support Systems: New Perspectives662 cited
  • 1999On Modeling and Verification of Temporal Constraints in Production Workflows148 cited
  • 1999Time Management in Workflow Systems119 cited
  • 1997On Correctness Issues in Conceptual Modelling of Workflows.64 cited
  • 1996Electronic Commerce: Current Research Issues and Applications48 cited

Cited by

  • 2011Dynamic Checking and Solution to Temporal Violations in Concurrent Workflow Processes53 cited
  • 2007Conflict detection and resolution for workflows constrained by resources and non-determined durations35 cited
  • 2005Dynamic Verification of Temporal Constraints on-the-fly for Workflow Systems34 cited
  • 2004Workflow Model Analysis Based on Time Constraint Petri Nets29 cited
  • 2010Modelling dependable collaborative time-constrained business processes28 cited
  • 2008Temporal Consistency of View Based Interorganizational Workflows26 cited
  • 2008An incremental analysis for resource conflicts to workflow specifications20 cited
  • 2009Dwelling time probability density distribution of instances in a workflow model19 cited
  • 2009Detecting artifact anomalies in business process specifications with a formal model18 cited

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