Petri Net Reduction
Calin Costea, Damian Costea, Voicu F. Groza, Bogdan Groza, Diana Costea · 2007
The concept of Petri nets has its origin in Carl Adam Petri's dissertation Kommunikation mit Automaten, submitted in 1962 to the faculty of Mathematics and Physics at the Technische Universitat Darmstadt, Germany. Petri nets are a modeling tool designed to reveal information about the structure and dynamics of the modeled system. Petri nets are used for describing and studying information processing systems that are characterized as being concurrent, asynchronous, distributed, parallel, nondeterministic and/or stochastic. They are a graphical and mathematical tool intended to simplify the analysis of a given system.