International Journal of Industrial Electronics and Electrical Engineering(IJIEEE).
Paper Title - Reach ability Set Algorithms for Timed-Arc Petri Nets
Timed-Arc Petri Net is a modeling tool which associates transition time delays with outgoing arcs and time
elements. This tool uses discrete-time unit impulse functions to calculate the next state, which provides ease to get
reachability set for Timed Petri Nets. In this work, algorithms constructing reachability set of Timed-Arc Petri Nets are
developed and implemented in MATLAB. Then, the results of algorithms for an example model are also produced, and the
efficiency of the algorithms, this software, is discussed.
Keywords - Timed-Arc Petri Nets, Reachability Set, Pseudocode Algorithm, Simulation, MATLAB