Thanh HC, Proszynski P. Composition of concurrency relations and marked simple nets. JCC [Internet]. 2015 Aug. 6 [cited 2024 Nov. 22];1(2):7-13. Available from: https://vjs.ac.vn/index.php/jcc/article/view/6673