Matthias Weidlich, Artem Polyvyanyy, Jan Mendling, Mathias Weske. Efficient Computation of Causal Behavioural Profiles Using Structural Decomposition. In Johan Lilius, Wojciech Penczek, editors, Applications and Theory of Petri Nets, 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings. Volume 6128 of Lecture Notes in Computer Science, pages 63-83, Springer, 2010. [doi]
Abstract is missing.