SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Structural characterizations of sound workflow nets
1 references·16 citing·45 second hop
Structural characterizations of sound workflow nets (1996)Structural characterizations of sound wor…Three Good Reasons for Using a Petri-Net-Based Workflow Management System (1998)Three Good Reasons for Using …Utilizing domain knowledge in data-driven process discovery: A literature review (2022)Utilizing domain knowledge in…A Novel Token-Based Replay Technique to Speed Up Conformance Checking and Process Enhancement (2021)A Novel Token-Based Replay Te…Well-structuredness, safeness and soundness: A formal classification of BPMN collaborations (2020)Well-structuredness, safeness…BProVe: A formal verification framework for business process models (2017)BProVe: A formal verification…Evolving process views (2016)Evolving process viewsSound conflict management and resolution for virtual-enterprise collaborations (2015)Sound conflict management and…WorMS- a framework to support workflows in M&S (2011)WorMS- a framework to support…A heuristic method for detecting problems in business process models (2010)A heuristic method for detect…Reducing the cognitive complexity of business process models (2009)Reducing the cognitive comple…Qualitative analysis of WorkFlow nets using linear logic: Soundness verification (2009)Qualitative analysis of WorkF…DISCOVERING PATTERNS FOR INTER-ORGANIZATIONAL BUSINESS PROCESS COLLABORATION (2007)DISCOVERING PATTERNS FOR INTE…Techniques for Modelling Workflows and their Support of Reuse (2000)Techniques for Modelling Work…Woflan: a Petri-net-based workflow analyzer (1999)Woflan: a Petri-net-based wor…Formalization and verification of event-driven process chains (1998)Formalization and verificatio…Finding errors in the design of a workflow process : a Petri-net-based approach (1998)Finding errors in the design …A Petri-net-based Tool to analyze workflows (1997)A Petri-net-based Tool to ana…Design Patterns: Elements of Reusable Object-Oriented Software (1994)An overview of workflow management: From process modeling to workflow automation infrastructure (1995)THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT (1998)Protos 7.0: Simulation Made Accessible (2005)Classification and evaluation of timed running schemas for workflow based on process mining (2008)Qualitative and quantitative analysis of workflows based on the UML activity diagram and Petri net (2009)Workflow Management (2002)YAWL: yet another workflow language (2004)Socio-technical systems: From design methods to systems engineering (2010)Risk Control of Virtual Enterprise Based on Distributed Decision‐Making Model (2021)Fostering the Circular Economy with Blockchain Technology: Insights from a Bibliometric Approach (2023)Workflow Patterns (2003)A Framework for Service Outsourcing Using Process Views (2010)Inter-Organizational Business Processes Modelling Framework. (2011)Towards an Architectural Framework for Service-Oriented Enterprises (2013)Cognitive load theory, learning difficulty, and instructional design (1994)Verification of workflow nets (1997)Seven process modeling guidelines (7PMG) (2009)Business process-based requirements specification and object-oriented conceptual modelling of information systems (2011)Dynamic Weaving in Aspect Oriented Business Process Management (2013)ON THE THEORETICAL FOUNDATIONS OF RESEARCH INTO THE UNDERSTANDABILITY OF BUSINESS PROCESS MODELS (2014)Dynamic change within workflow systems (1995)Applying model checking to BPEL4WS business collaborations (2005)Soundness preservation in composed logical time workflow nets (2011)Refinement-Based Hierarchical Modeling and Correctness Verification of Cross-Organization Collaborative Emergency Response Processes (2018)A Primer in Game Theory (1992)Change patterns and change support features – Enhancing flexibility in process-aware information systems (2008)Process Mining: Discovery, Conformance and Enhancement of Business Processes (2011)Business processes—attempts to find a definition (2003)How Much Language Is Enough? Theoretical and Practical Use of the Business Process Modeling Notation (2008)Semantics and analysis of business process models in BPMN (2008)Symbolic Specification and Verification of Data-Aware BPMN Processes Using Rewriting Modulo SMT (2018)Soundness Verification of Decision-Aware Process Models with Variable-to-Variable Conditions (2019)BPMN 2.0 OR-Join Semantics: Global and local characterisation (2021)Conformance checking of processes based on monitoring real behavior (2007)Replaying history on process models for conformance checking and performance analysis (2012)Discovering Block-Structured Process Models from Event Logs - A Constructive Approach (2013)Analyzing the Past to Prepare for the Future: Writing a Literature Review (2002)Fundamentals of Business Process Management (2013)How Can Interactive Process Discovery Address Data Quality Issues in Real Business Settings? Evidence from a Case Study in Healthcare (2022)Cortado: A dedicated process mining tool for interactive process discovery (2023)Abstractions, Scenarios, and Prompt Definitions for Process Mining with LLMs: A Case Study (2024)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)
this work references cited by second hop

References

  • 1998Three Good Reasons for Using a Petri-Net-Based Workflow Management System293 cited

Cited by

  • 2022Utilizing domain knowledge in data-driven process discovery: A literature review64 cited
  • 1999Woflan: a Petri-net-based workflow analyzer54 cited
  • 2009Reducing the cognitive complexity of business process models40 cited
  • 2021A Novel Token-Based Replay Technique to Speed Up Conformance Checking and Process Enhancement38 cited
  • 2017BProVe: A formal verification framework for business process models36 cited
  • 2000Techniques for Modelling Workflows and their Support of Reuse32 cited
  • 2007DISCOVERING PATTERNS FOR INTER-ORGANIZATIONAL BUSINESS PROCESS COLLABORATION30 cited
  • 2015Sound conflict management and resolution for virtual-enterprise collaborations19 cited
  • 2016Evolving process views19 cited
  • 1997A Petri-net-based Tool to analyze workflows19 cited
  • 2020Well-structuredness, safeness and soundness: A formal classification of BPMN collaborations18 cited
  • 2009Qualitative analysis of WorkFlow nets using linear logic: Soundness verification18 cited
  • 2010A heuristic method for detecting problems in business process models16 cited
  • 2011

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

WorMS- a framework to support workflows in M&S
14 cited
  • 1998Formalization and verification of event-driven process chains13 cited
  • 1998Finding errors in the design of a workflow process : a Petri-net-based approach13 cited