Conference Proceedings

Causal Behavioural Profiles - Efficient Computation, Applications, and Evaluation

Matthias Weidlich, Artem Polyvyanyy, Jan Mendling, Mathias Weske

Fundamenta Informaticae | IOS PRESS | Published : 2011

DOI: 10.3233/FI-2011-614

Citation metrics

21Web of Science
36Scopus

Keywords

Causal Behavioural Profiles
Epcs
Mathematics
Verification
Computer Science
Checking
Physical Sciences
Semantics
Business Process Models
Behavioural Abstraction
Formal Methods
Optionality
Petri Nets
Technology
Control-Flow
Causality
Structural Decomposition
Computer Science, Software Engineering
Science & Technology
Exclusiveness
Mathematics, Applied
Concurrency
Errors
Order Relations
Similarity
Framework