Wisniewski, Remigiusz, Andrei Karatkevich, Marian Adamski, Anikó Costa, and Luís Gomes. "Prototyping of Concurrent Control Systems With Application of Petri Nets and Comparability Graphs." {IEEE} Trans. Contr. Sys. Techn.. 26 (2018): 575-586.