[1]H. C. Thanh and P. Proszynski, “Composition of concurrency relations and marked simple nets”, J. Comput. Sci. Cybern., vol. 1, no. 2, pp. 7–13, Aug. 2015.