J. Esparza, P. Ganty, R. Majumdar, and C. Weil-Kennedy. 29th International Conference on Concurrency Theory (CONCUR 2018), volume 118 of LIPIcs, page 31:1-31:16. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2018)
J. Esparza, M. Raskin, and C. Weil-Kennedy. Petri Nets, volume 11522 of Lecture Notes in Computer Science, page 365-385. Springer, (2019)cite arxiv:1902.03025.