A simulation algorithm for real systems using petri nets

Abstract

The real systems are considered to determine all states in the given time interval in this work. The timed Petri net that time delays are assigned to the transition is chosen to model for the real systems. Then, a new class of timed transition Petri nets is introduced to develop a simulation algorithm. In this new class, two or more transitions can fire at the same time and with multiple firings of any transition. Thus, it is possible that the reachability set whose elements are states of the considered system. An algorithm, which constructs the reachability set which is necessary to observe the behavioral properties of all Petri nets model, in the time interval, is developed.