A Mathematical Model Using Time Elements for Timed-Arc Petri Nets

Authors : Alpaslan YUFKA, Hanife APAYDIN ÖZKAN, Aydin AYBAR

Pages : 749-764

Doi:10.35378/gujs.669616

View : 13 | Download : 6

Publication Date : 2020-12-01

Article Type : Research Paper

Abstract :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 insert ignore into journalissuearticles values(firing durations); of firing processes insert ignore into journalissuearticles values(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.
Keywords : Timed Arc Petri Nets, Time Element, Behavioral Properties, Stretched Petri nets