@misc{indiciae4525a95aa19a, title = {Structurally Cyclic Petri Nets}, author = {Drewes Frank and Leroux Jérôme}, year = {2015}, doi = {10.2168/lmcs-11(4:15)2015}, url = {https://arxiv.org/abs/1510.08331}, note = {Source identifier: 1510.08331} }