PetriNetztheorie
PetriNetztheorie, also known as Petri net theory, is a mathematical modeling language for describing and analyzing distributed systems. Developed by Carl Adam Petri in 1962, it provides a graphical and mathematical framework to represent concurrent processes, resource sharing, and communication between different parts of a system.
A Petri net consists of two main types of nodes: places, typically represented by circles, and transitions,
Petri nets are used in various fields, including computer science for modeling concurrent software and hardware