@inproceedings{1ac49ef0da4d4c808bfced1bca2c8ea7,
title = "Efficient Computation of Causal Behavioural Profiles Using Structural Decomposition",
author = "Matthias Weidlich and Artem Polyvyanyy and Jan Mendling and Mathias Weske",
year = "2010",
month = dec,
day = "1",
language = "English",
pages = "63 -- 83",
editor = "{Johan Lilius, Wojciech Penczek}",
booktitle = "Applications and Theory of Petri Nets, 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings",
publisher = "Springer",
address = "Germany",
}