H. C. Thanh and P. Proszynski, “Composition of concurrency relations and marked simple nets”, JCC, vol. 1, no. 2, pp. 7–13, Aug. 2015.