Efficient Computation of Causal Behavioural Profiles Using Structural Decomposition

No abstract is available for this paper.

• Publication year

  2010

• Venue

  Applications and Theory of Petri Nets

• Publication date

  2010-06-21

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1007/978-3-642-13675-7_6
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Simplified Computation and Generalization of the Refined Process Structure Tree

  2010influential reference
• Computation of Behavioural Profiles of Processes Models

  2010influential reference
• Similarity Search of Business Process Models

  2009cited by this paper
• Aligning Business Process Models

  2009cited by this paper
• Process instantiation

  2009cited by this paper
• Change Propagation in Process Models Using Behavioural Profiles

  2009cited by this paper
• The Triconnected Abstraction of Process Models

  2009cited by this paper
• The refined process structure tree

  2008influential reference
• Detecting and Resolving Process Model Differences in the Absence of a Change Log

  2008cited by this paper
• Unfoldings - A Partial-Order Approach to Model Checking

  2008cited by this paper
• Unfoldings: A Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science. An EATCS Series)

  2008cited by this paper
• Measuring Similarity between Business Process Models

  2008cited by this paper
• Quantifying process equivalence based on observed behavior

  2008cited by this paper
• Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants

  2007cited by this paper
• Matching and Merging of Statecharts Specifications

  2007cited by this paper
• A Feature-Complete Petri Net Semantics for WS-BPEL 2.0

  2007cited by this paper
• How do practitioners use conceptual modeling in practice?

  2006cited by this paper
• Verified Reference Implementations of WS-Security Protocols

  2006cited by this paper
• When are two Workflows the Same?

  2005cited by this paper
• Tool support for verifying UML activity diagrams

  2004cited by this paper
• Workflow mining: discovering process models from event logs

  2004cited by this paper
• On the Semantics of EPCs: A Framework for Resolving the Vicious Circle

  2004cited by this paper
• Fundamentals of control flow in workflows

  2003cited by this paper
• An Alternative Way to Analyze Workflow Graphs

  2002cited by this paper
• Behavior-consistent specialization of object life cycles

  2002cited by this paper
• Inheritance of behavior

  2001cited by this paper
• Refinement of actions and equivalence notions for concurrent systems

  2001cited by this paper
• A survey of approaches to automatic schema matching

  2001cited by this paper
• Handbook of Process Algebra

  2001cited by this paper
• CHAPTER 1 – The Linear Time - Branching Time Spectrum I.* The Semantics of Concrete, Sequential Processes

  2001cited by this paper
• A Linear Time Implementation of SPQR-Trees

  2000cited by this paper
• Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques

  2000cited by this paper
• Dominators in Linear Time

  1999cited by this paper
• The Application of Petri Nets to Workflow Management

  1998influential reference
• Property specification patterns for finite-state verification

  1998cited by this paper
• Property Speci cation Patterns for Finite-StateVeri cation

  1998cited by this paper
• SAP R/3 Business Blueprint: Understanding the Business Process Reference Model

  1997cited by this paper
• Application and Theory of Petri Nets 1997

  1997cited by this paper
• Verification of Workflow Nets

  1997cited by this paper
• The State Explosion Problem

  1996cited by this paper
• Lectures on Petri Nets I: Basic Models

  1996cited by this paper
• On-line maintenance of triconnected components with SPQR-trees

  1996cited by this paper
• A technique of state space search based on unfolding

  1995cited by this paper
• A polynomial algorithm to compute the concurrency relation of free-choice Signal Transition Graphs

  1995cited by this paper
• Free choice Petri nets

  1995cited by this paper
• Advances in Petri Nets 1992

  1992cited by this paper
• A survey of equivalence notions for net based systems

  1992cited by this paper
• A survey of behaviour and equivalence preserving refinements of Petri nets

  1991cited by this paper
• Circuits, handles, bridges and nets

  1991cited by this paper
• Analyzing Semantics of Concurrent Hardware Specifications

  1989cited by this paper
• Petri nets: Properties, analysis and applications

  1989cited by this paper
• Petri Nets, Algebras, Morphisms, and Compositionality

  1987cited by this paper
• Advances in Petri Nets 1990

  1987cited by this paper
• Applications and Theory of Petri Nets

  1983cited by this paper

• Pushing the Limits: Concurrency Detection in Acyclic, Live, and 1-Safe Free-Choice Nets in O((P+T)2)

  2024cites this paper
• Pushing the Limits: Concurrency Detection in Acyclic Sound Free-Choice Workflow Nets in O(P² + T²)

  2024cites this paper
• Conformance Checking Beyond Replay Methods: Closing The Gap To Real-World Adoption

  2024cites this paper
• A Method for Debugging Process Discovery Pipelines to Analyze the Consistency of Model Properties

  2021cites this paper
• An alternative method for refined process structure trees (RPST)

  2019cites this paper
• Behavior Analysis for Electronic Commerce Trading Systems: A Survey

  2019influential citation
• A unit-aware matrix language and its application in control and auditing

  2019cites this paper
• Robust Process Mining with Guarantees

  2017cites this paper
• Exploring the Potentials of Artificial Intelligence Techniques for Business Process Analysis

  2017cites this paper
• Eindhoven University of Technology MASTER Understandability of business process models recommendations for a measurement instrument

  2017cites this paper
• On the expressive power of behavioral profiles

  2016cites this paper
• Estimation of Degree of Behavioral Profile Consistency between the Business and System Requirement

  2016cites this paper
• Comparing Imperative and Declarative Process Models with Flow Dependencies

  2016cites this paper
• A Stability Assessment Framework for Process Discovery Techniques

  2016cites this paper
• An Execution-Semantic Approach to Inductive Reference Model Development

  2016cites this paper
• Web Services and Business Processes: A Round Trip

  2014influential citation
• Supervision et vérification décentralisées de chorégraphies de services

  2014cites this paper
• Business process indexing based on similarity of execution cases

  2014cites this paper
• Modeling and validation of business process families

  2013cites this paper
• Gouvernance et supervision décentralisée des chorégraphies inter-organisationnelles. (Decentralized Monitoring of Cross-Organizational Service Choreographies)

  2013cites this paper
• Business Process Model Abstraction Based on Synthesis from Well-Structured Behavioral Profiles

  2012cites this paper
• An Optimized Derivation of Event Queries to Monitor Choreography Violations

  2012cites this paper
• A comparative survey of business process similarity measures

  2012influential citation
• Connectivity of workflow nets: the foundations of stepwise verification

  2011cites this paper
• Querying Process Models Based on the Temporal Relations between Tasks

  2011cites this paper
• Causal Behavioural Profiles – Efficient Computation, Applications, and Evaluation

  2011cites this paper
• A Foundational Approach for Managing Process Variability

  2011cites this paper
• Validation of Families of Business Processes

  2011cites this paper
• Behavioral Similarity - A Proper Metric

  2011cites this paper
• State Propagation in Abstracted Business Processes

  2011cites this paper
• Process compliance analysis based on behavioural profiles

  2011influential citation
• Event-Based Monitoring of Process Execution Violations

  2011cites this paper
• Business Process Configuration Wizard and Consistency Checker for BPMN 2.0

  2011cites this paper
• Discovering Linkage Patterns among Web Services Using Business Process Knowledge

  2011cites this paper
• Revealing Hidden Relations among Web Services Using Business Process Knowledge

  2011cites this paper
• Three Challenges for Process Model Reuse

  2011cites this paper
• Understandability of business process models

  2011cites this paper
• Symbolic Execution of Acyclic Workflow Graphs

  2010cites this paper
• Parsing Behavior: The Hierarchical Nature of Concurrent Systems

  2010cites this paper
• Optimising Complex Event Queries over Business Processes Using Behavioural Profiles

  2010cites this paper
• Generalised Computation of Behavioural Profiles Based on Petri-Net Unfoldings

  2010cites this paper
• The Biconnected Verification of Workflow Nets

  2010cites this paper
• Structural and behavioural commonalities of process variants

  2010cites this paper
• On the behavioural dimension of correspondences between process models

  2010cites this paper
• Service Discovery Using Communication Fingerprints

  2010cites this paper