Для цитирования:

Перцухов П.А., Мицюк А.А. Симуляция сетей Петри с ингибиторными дугами и дугами сброса. Труды Института системного программирования РАН. 2019;31(4):151-162. https://doi.org/10.15514/ISPRAS-2019-31(4)-10

For citation:

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