Improved Parallel Composition of Labelled Petri Nets

Arseniy Alekseyev, Victor Khomenko, Andrey Mokhov, Dominic Wist, Alex Yakovlev. Improved Parallel Composition of Labelled Petri Nets. In BenoƮt Caillaud, Josep Carmona, Kunihiko Hiraishi, editors, 11th International Conference on Application of Concurrency to System Design, ACSD 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011. pages 131-140, IEEE, 2011. [doi]

Abstract

Abstract is missing.