dc.contributor.author | Yufka, Alpaslan | |
dc.contributor.author | Özkan, Hanife Apaydın | |
dc.contributor.author | Aybar, Aydın | |
dc.date.accessioned | 2019-10-21T20:40:50Z | |
dc.date.available | 2019-10-21T20:40:50Z | |
dc.date.issued | 2018 | |
dc.identifier.isbn | 978-1-5386-5065-3 | |
dc.identifier.issn | 2576-3555 | |
dc.identifier.uri | https://hdl.handle.net/11421/20509 | |
dc.identifier.uri | https://dx.doi.org/10.1109/CoDIT.2018.8394858 | en_US |
dc.description | 5th International Conference on Control, Decision and Information Technologies (CoDIT) -- APR 10-13, 2018 -- Thessaloniki, GREECE | en_US |
dc.description | WOS: 000468641000072 | en_US |
dc.description.abstract | Timed Petri Nets is a powerful modeling paradigm for concurrent and dynamic systems such as railway systems. In this work, Timed-Arc Petri nets, which has been recently proposed by authors, is considered for modeling railway systems. In this novel approach, a time-element representation is introduced, deterministic time-delays is assigned with arcs and firing processes are associated with time, where time was interpreted as firing delays. By this way, the complete map of all states are obtained and invisibility of some states is inhibited as different (an advantage on) from similar modeling tools. In this work, some basic components such as a railway switch, multiunit two and three-aspect signals, blocks, and a fixed block signaling concept for one and two block signaling are modeled by deterministic Timed-Arc Petri Nets. | en_US |
dc.description.sponsorship | IEEE Syst Man & Cybernet Soc, IEEE Control Syst Soc, Aristotle Univ Thessaloniki, Sch Math, Int Assoc Hydrogen Energy, Int Inst Innovat Ind Engn & Entrepreneurship | en_US |
dc.description.sponsorship | Anadolu University [BAP-1610F665] | en_US |
dc.description.sponsorship | This work has been supported by Anadolu University through Research Project BAP-1610F665, namely "Dynamic Control Approaches for Timed Discrete Event Systems". | en_US |
dc.language.iso | eng | en_US |
dc.publisher | IEEE | en_US |
dc.relation.ispartofseries | International Conference on Control Decision and Information Technologies | |
dc.relation.isversionof | 10.1109/CoDIT.2018.8394858 | en_US |
dc.rights | info:eu-repo/semantics/closedAccess | en_US |
dc.title | Modeling Basic Components of Railway Systems Using Timed Arc Petri Nets | en_US |
dc.type | conferenceObject | en_US |
dc.relation.journal | 2018 5th International Conference On Control, Decision and Information Technologies (Codit) | en_US |
dc.contributor.department | Anadolu Üniversitesi, Mühendislik Fakültesi, Elektrik ve Elektronik Mühendisliği Bölümü | en_US |
dc.identifier.startpage | 427 | en_US |
dc.identifier.endpage | 432 | en_US |
dc.relation.publicationcategory | Konferans Öğesi - Uluslararası - Kurum Öğretim Elemanı | en_US] |
dc.contributor.institutionauthor | Aybar, Aydın | |