Free choice Petri nets
Journal of the ACM (JACM)
Workflow Mining: Discovering Process Models from Event Logs
IEEE Transactions on Knowledge and Data Engineering
A Polynomial-Time Algorithm for Checking Consistency of Free-Choice Signal Transition Graphs
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'03)
Conformance checking of processes based on monitoring real behavior
Information Systems
Business Process Management: Concepts, Languages, Architectures
Business Process Management: Concepts, Languages, Architectures
Structural Matching of BPEL Processes
ECOWS '07 Proceedings of the Fifth European Conference on Web Services
Measuring Similarity between Business Process Models
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
Petri Net Transformations for Business Processes --- A Survey
Transactions on Petri Nets and Other Models of Concurrency II
Does My Service Have Partners?
Transactions on Petri Nets and Other Models of Concurrency II
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
Discovering Reference Models by Mining Process Variants Using a Heuristic Approach
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Change Propagation in Process Models Using Behavioural Profiles
SCC '09 Proceedings of the 2009 IEEE International Conference on Services Computing
Declarative specification and verification of service choreographiess
ACM Transactions on the Web (TWEB)
Process Discovery using Integer Linear Programming
Fundamenta Informaticae - Petri Nets 2008
A workflow net similarity measure based on transition adjacency relations
Computers in Industry
Process Mining: Discovery, Conformance and Enhancement of Business Processes
Process Mining: Discovery, Conformance and Enhancement of Business Processes
Efficient Consistency Measurement Based on Behavioral Profiles of Process Models
IEEE Transactions on Software Engineering
Process compliance analysis based on behavioural profiles
Information Systems
Modeling Business Processes: A Petri Net-Oriented Approach
Modeling Business Processes: A Petri Net-Oriented Approach
Behavioral similarity: a proper metric
BPM'11 Proceedings of the 9th international conference on Business process management
Action patterns in business process model repositories
Computers in Industry
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Hi-index | 0.00 |
Petri net systems have been successfully applied for modelling business processes and analysing their behavioural properties. In this domain, analysis techniques that are grounded on behavioural relations defined between pairs of transitions emerged recently. However, different use cases motivated different definitions of behavioural relation sets. This paper focusses on two prominent examples, namely behavioural profiles and behavioural footprints. We show that both represent different ends of a spectrum of relation sets for Petri net systems, each inducing a different equivalence class. As such, we provide a generalisation of the known relation sets. We illustrate that different relation sets complement each other for general systems, but form an abstraction hierarchy for distinguished net classes. For these net classes, namely S-WF-systems and sound free-choice WF-systems, we also prove a close relation between the structure and the relational semantics. Finally, we discuss implications of our results for the field of business process modelling and analysis.