Infinite Petri Nets: Part 1, Modeling Square Grid Structures

DOI10.25088/ComplexSystems.26.2.157zbMath1456.68122OpenAlexW2753013927MaRDI QIDQ5126834

Ivan D. Zaitsev, Dmitry A. Zaitsev, T. R. Shmeleva

Publication date: 20 October 2020

Published in: Complex Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.25088/complexsystems.26.2.157

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)