Aspects of Symmetry in Petri Nets

Abstract

Symmetry is a fundamental mathematical property applicable to the description of various shapes both geometrical and representational. Symmetry is central to understanding the nature of various objects. It can be used as a simplifying principle when structures are created. Petri nets are widely covered formalisms, useful for modeling different types of computer systems or computer configurations. Different forms of Petri nets exist along with several forms of representation. Petri nets are useful for i) deterministic and ii) non-deterministic modeling. The aspect of symmetry in Petri nets requires in-depth treatment that is often overlooked. Symmetry is a fundamental property found in Petri nets. This work tries to briefly touch on these properties and explain them with simple examples. Hopefully, readers will be inspired to carry out more work in this direction.