TY  - JOUR
TI  - A Mathematical Model Using Time Elements for Timed-Arc Petri Nets
AB  - In this work, a novel graphical and mathematical model is introduced for Timed-Arc Petri Nets. In this model, operation durations related to events are associated with arcs as firing durations. Time elements are introduced on the arcs of the model for monitoring tokens in operation durations (firing durations) of firing processes (events). In the model, the status of the system is represented as states consisting of remaining time vector for indicating the status of time elements and marking vector for indicating the status of places' state information. This feature of states allows to obtain reachability set enhanced with the time information and the timed reachability graph of the system. In this work, behavioral properties of the proposed model are also defined. Moreover, via considering real world systems, behavioral properties are analyzed and performance of the model is compared with Stretched Petri Nets which is a recently proposed type of Timed Petri Nets.
AU  - AYBAR, AYDIN
AU  - APAYDIN OZKAN, HANIFE
AU  - YUFKA, Alpaslan
DO  - 10.35378/gujs.669616
PY  - 2020
JO  - Gazi University Journal of Science
VL  - 33
IS  - 4
SN  - 2147-1762
SP  - 749
EP  - 764
DB  - TRDizin
UR  - http://search/yayin/detay/423137
ER  -