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.
M. Raskin, and M. Simkin. Lecture Notes in Computer Science, volume 11922 of Lecture Notes in Computer Science, Springer International Publishing, https://eprint.iacr.org/2018/268.(2019)