Paper Title
Reach ability Set Algorithms for Timed-Arc Petri Nets

Abstract
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