Petri nets with states memory
Alexei Sochnev
Abstract
The presented paper proposes improved rules change marking Petri nets for the expansion of the list of systems that are suitable for modeling networks and solving some practical problems. The basic idea of changing the rules is to build an additional marking vector whose elements accumulate tokens throughout the simulation experiment, thus preserving its history. The values of the additional elements of the vector are taken into account when simulating network conditions that trigger additional test network.