SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Logic-Based Approaches to Workflow Modeling and Verification
9 references·4 citing·30 second hop
Logic-Based Approaches to Workflow Modeling and Verification (2004)Logic-Based Approaches to Workflow Modeli…A Logical Framework for Scheduling Workflows Under Resource Allocation Constraints (2002)A Logical Framework for Sched…Declarative workflows that support easy modification and dynamic browsing (1999)Declarative workflows that su…THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT (1998)THE APPLICATION OF PETRI NETS…Modeling and Analysis of Workflows Using Petri Nets (1998)Modeling and Analysis of Work…Verification of workflow nets (1997)Verification of workflow netsFunctionality and Limitations of Current Workflow Management Systems. (1997)Functionality and Limitations…A formal foundation for distributed workflow execution based on state charts (1997)A formal foundation for distr…Semantical Considerations on Workflows: An Algebra for Intertask Dependencies (1995)Semantical Considerations on …An overview of workflow management: From process modeling to workflow automation infrastructure (1995)An overview of workflow manag…Goal-Driven Business Process Derivation (2011)Goal-Driven Business Process …Constraint-centric workflow change analytics (2011)Constraint-centric workflow c…Log-based transactional workflow mining (2009)Log-based transactional workf…Decomposition-Based Verification of Cyclic Workflows (2005)Decomposition-Based Verificat…The Mentor project: steps towards enterprise-wide workflow management (2002)Comparing Petri Net and Activity Diagram Variants for Workflow Modelling – A Quest for Reactive Petri Nets (2003)Evolution of Process Choreographies in DYCHOR (2006)Workflow-based applications (1997)Static Analysis of Business Artifact-centric Operational Models (2007)The Declarative Approach to Business Process Execution: An Empirical Test (2009)A flexible, object-centric approach for business process modelling (2010)Merging application-centric and data-centric approaches to support transaction-oriented multi-system workflows (1993)Formalizing Workflows Using the Event Calculus (2000)Automatic workflow verification and generation (2005)Compliance of Semantic Constraints - A Requirements Analysis for Process Management Systems (2008)Workflow mining: discovering process models from event logs (2004)Model-as-You-Go for Choreographies: Rewinding and Repeating Scientific Choreographies (2017)Autonomous agents for business process management (2000)Adaptive workflow scheduling under resource allocation constraints and network dynamics (2008)Designing a Cross-Organizational Case Management System Using Dynamic Condition Response Graphs (2011)Process Discovery under Precedence Constraints (2015)CBRFlow: Enabling Adaptive Workflow Management Through Conversational Case-Based Reasoning (2004)A Survey on the Flexibility Requirements Related to Business Processes and Modeling Artifacts (2008)Combining BPM and social software: contradiction or chance? (2010)The specification and enforcement of authorization constraints in workflow management systems (1999)Fundamentals of control flow in workflows (2003)The P2P Approach to Interorganizational Workflows (2013)Adeptflex—Supporting Dynamic Changes of Workflows Without Losing Control (1998)Workflow Patterns (2003)Business Process Management: A Comprehensive Survey (2013)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
  • 1995An overview of workflow management: From process modeling to workflow automation infrastructure1,530 cited
  • 1997Verification of workflow nets802 cited
  • 1998Modeling and Analysis of Workflows Using Petri Nets299 cited
  • 1997Functionality and Limitations of Current Workflow Management Systems.188 cited
  • 1997A formal foundation for distributed workflow execution based on state charts129 cited
  • 1999Declarative workflows that support easy modification and dynamic browsing70 cited
  • 2002A Logical Framework for Scheduling Workflows Under Resource Allocation Constraints61 cited
  • 1995Semantical Considerations on Workflows: An Algebra for Intertask Dependencies51 cited

Cited by

  • 2009Log-based transactional workflow mining32 cited
  • 2005Decomposition-Based Verification of Cyclic Workflows24 cited
  • 2011Constraint-centric workflow change analytics23 cited
  • 2011Goal-Driven Business Process Derivation20 cited

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