SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Automatic Procedure Following Evaluation Using Petri Net-Based Workflows
8 references·0 citing·34 second hop
Automatic Procedure Following Evaluation Using Petri Net-Based Workflows (2017)Automatic Procedure Following Evaluation …Complete and Interpretable Conformance Checking of Business Processes (2017)Complete and Interpretable Co…Transformation of Logical Workflow Nets (2014)Transformation of Logical Wor…E-Net Modeling and Analysis of Emergency Response Processes Constrained by Resources and Uncertain Durations (2014)E-Net Modeling and Analysis o…A System for Deduction-based Formal Verification of Workflow-oriented Software Models (2014)A System for Deduction-based …A system for deduction-based formal verification of workflow-oriented software models (2014)A system for deduction-based …Data-aware process mining (2013)Data-aware process miningReplaying history on process models for conformance checking and performance analysis (2012)Replaying history on process …Petri net-based process monitoring: a workflow management system for process modelling and monitoring (2012)Petri net-based process monit…Modeling and Analysis of Workflows Using Petri Nets (1998)THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT (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 mining: A survey of issues and approaches (2003)YAWL: yet another workflow language (2004)Multi-attribute auctions with different types of attributes: Enacting properties in multi-attribute auctions (2014)Modeling and simulation of time and value throughputs of data-aware workflow processes (2018)Opportunities and challenges for applying process mining in healthcare: a systematic mapping study (2021)Workflow mining: discovering process models from event logs (2004)Process Mining (2011)Process Mining: Discovery, Conformance and Enhancement of Business Processes (2011)Process Mining (2012)Discovering Block-Structured Process Models from Event Logs Containing Infrequent Behaviour (2014)Predicting process behaviour using deep learning (2017)Loosely coupled interorganizational workflows: (2000)Information architecture for supply chain quality management (2010)Soundness Analytics of Composed Logical Workflow Nets (2017)An Alpha-FL Algorithm for Discovering Free Loop Structures From Incomplete Event Logs (2018)Conformance Checking for Time-Series-Aware Processes (2020)Big data: The next frontier for innovation, competition, and productivity (2011)Process Mining Manifesto (2012)Aligning Event Logs and Process Models for Multi-perspective Conformance Checking: An Approach Based on Integer Linear Programming (2013)Data-Driven Process Discovery - Revealing Conditional Infrequent Behavior from Event Logs (2017)Online conformance checking: relating event streams to process models using prefix-alignments (2017)Perceived Usefulness, Perceived Ease of Use, and User Acceptance of Information Technology (1989)Workflow Patterns (2003)Conformance checking (2019)Evaluating Conformance Measures in Process Mining Using Conformance Propositions (2019)Stochastic process mining: Earth movers’ stochastic conformance (2021)Business Process Model and Notation—BPMN (2014)Overview of Verification Tools for Business Process Models (2017)
this work references cited by second hop

References

  • 2012Replaying history on process models for conformance checking and performance analysis738 cited
  • 2013Data-aware process mining185 cited
  • 2017Complete and Interpretable Conformance Checking of Business Processes95 cited
  • 2014E-Net Modeling and Analysis of Emergency Response Processes Constrained by Resources and Uncertain Durations80 cited
  • 2012Petri net-based process monitoring: a workflow management system for process modelling and monitoring56 cited
  • 2014Transformation of Logical Workflow Nets24 cited
  • 2014A System for Deduction-based Formal Verification of Workflow-oriented Software Models15 cited
  • 2014A system for deduction-based formal verification of workflow-oriented software models13 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