For citations:
Pertsukhov P.А., Mitsyuk A.A. Simulating Petri Nets with Inhibitor and Reset Arcs. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2019;31(4):151-162. https://doi.org/10.15514/ISPRAS-2019-31(4)-10