Thanh, Hoang Chi, and Piotr Proszynski. 2015. “Composition of Concurrency Relations and Marked Simple Nets”. Journal of Computer Science and Cybernetics 1 (2):7-13. https://doi.org/10.15625/1813-9663/1/2/6673.