Infinite Petri nets. I. Modeling square grid structures

DOI10.25088/COMPLEXSYSTEMS.26.2.157MaRDI QIDQ5126834zbMATH OpenOpenAlexFDO

Authors Dmitry A. Zaitsev, Ivan D. 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)

Recommendations

• Infinite Petri nets. II. Modeling triangular, hexagonal, hypercube and hypertorus structures
• Verification of hypercube communication structures via parametric Petri nets
• scientific article; zbMATH DE number 3922334
• Simulating cellular automata by infinite Petri nets
• Universality in infinite Petri nets

Cited in

(4)

• Verification of hypercube communication structures via parametric Petri nets
• Design of grid structures on the basis of transition systems with the substantiation of the correctness of their operation
• Simulating cellular automata by infinite Petri nets
• Infinite Petri nets. II. Modeling triangular, hexagonal, hypercube and hypertorus structures

This page was built for publication: Infinite Petri nets. I. Modeling square grid structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5126834)