J. Sroka, P. Chrz\,astowski-Wachtel, and J. Hidders. Proc. of the Tenth International Conference on Application of Concurrency to System Design (ACSD 2011), IEEE Computer Society, (2011)To Appear.
D. Stork, and R. van Glabbeek. ICATPN '02: Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets, page 394--413. London, UK, Springer-Verlag, (2002)