Publish In |
International Journal of Industrial Electronics and Electrical Engineering (IJIEEE)-IJIEEE |
Journal Home Volume Issue |
||||||||
Issue |
Volume-7,Issue-5 ( May, 2019 ) | |||||||||
Paper Title |
Reach ability Set Algorithms for Timed-Arc Petri Nets | |||||||||
Author Name |
Alpaslan Yufka, Hanife Apaydin Ozkan, Aydin Aybar | |||||||||
Affilition |
Department of Electrical-Electronics Engineering, Eskişehir Technical University, Eskişehir, Turkey | |||||||||
Pages |
36-45 | |||||||||
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 | |||||||||
View Paper |