Anklaşman tasarimi için petri aǧi denetç ilerinin otomatik oluşturulmasi

Uǧur Yildirim; Mustafa Seçkin Durmuş; Mehmet Turan Söylemez

Anklaşman tasarimi için petri aǧi denetç ilerinin otomatik oluşturulmasi

Translated title of the contribution: Automatic generation of petri net supervisors for interlocking design

Uǧur Yildirim^*, Mustafa Seçkin Durmuş, Mehmet Turan Söylemez

^*Corresponding author for this work

Department of Control and Automation Engineering

Istanbul Technical University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

Signalization and interlocking design is one of the most crucial components that provide safe travelling and transportation on railways. In order to satisfy the requirements of CENELEC (European Committee for Electrotechnical Standardization) standards that are used for railways, there is a need of formal methods. While providing these standards, Petri Net design method also brings simplicity on programming after the design stage. In this study, a Mathematica

Translated title of the contribution	Automatic generation of petri net supervisors for interlocking design
Original language	Turkish
Title of host publication	2010 National Conference on Electrical, Electronics and Computer Engineering, ELECO 2010
Pages	197-201
Number of pages	5
Publication status	Published - 2010
Event	2010 7th National Conference on Electrical, Electronics and Computer Engineering, ELECO 2010 - Bursa, Turkey Duration: 2 Dec 2010 → 5 Dec 2010

Publication series

Name	2010 National Conference on Electrical, Electronics and Computer Engineering, ELECO 2010

Conference

Conference	2010 7th National Conference on Electrical, Electronics and Computer Engineering, ELECO 2010
Country/Territory	Turkey
City	Bursa
Period	2/12/10 → 5/12/10

Cite this

@inproceedings{4af19a160e674d188d981318835a7223,

title = "Ankla{\c s}man tasarimi i{\c c}in petri aǧi denet{\c c} ilerinin otomatik olu{\c s}turulmasi",

abstract = "Signalization and interlocking design is one of the most crucial components that provide safe travelling and transportation on railways. In order to satisfy the requirements of CENELEC (European Committee for Electrotechnical Standardization) standards that are used for railways, there is a need of formal methods. While providing these standards, Petri Net design method also brings simplicity on programming after the design stage. In this study, a Mathematica",

author = "Uǧur Yildirim and Durmu{\c s}, {Mustafa Se{\c c}kin} and S{\"o}ylemez, {Mehmet Turan}",

year = "2010",

language = "T{\"u}rk{\c c}e",

isbn = "9781424495887",

series = "2010 National Conference on Electrical, Electronics and Computer Engineering, ELECO 2010",

pages = "197--201",

booktitle = "2010 National Conference on Electrical, Electronics and Computer Engineering, ELECO 2010",

note = "2010 7th National Conference on Electrical, Electronics and Computer Engineering, ELECO 2010 ; Conference date: 02-12-2010 Through 05-12-2010",

}

Yildirim, U, Durmuş, MS & Söylemez, MT 2010, Anklaşman tasarimi için petri aǧi denetç ilerinin otomatik oluşturulmasi. in 2010 National Conference on Electrical, Electronics and Computer Engineering, ELECO 2010., 5698149, 2010 National Conference on Electrical, Electronics and Computer Engineering, ELECO 2010, pp. 197-201, 2010 7th National Conference on Electrical, Electronics and Computer Engineering, ELECO 2010, Bursa, Turkey, 2/12/10.

Anklaşman tasarimi için petri aǧi denetç ilerinin otomatik oluşturulmasi. / Yildirim, Uǧur; Durmuş, Mustafa Seçkin; Söylemez, Mehmet Turan.
2010 National Conference on Electrical, Electronics and Computer Engineering, ELECO 2010. 2010. p. 197-201 5698149 (2010 National Conference on Electrical, Electronics and Computer Engineering, ELECO 2010).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Anklaşman tasarimi için petri aǧi denetç ilerinin otomatik oluşturulmasi

AU - Yildirim, Uǧur

AU - Durmuş, Mustafa Seçkin

AU - Söylemez, Mehmet Turan

PY - 2010

Y1 - 2010

N2 - Signalization and interlocking design is one of the most crucial components that provide safe travelling and transportation on railways. In order to satisfy the requirements of CENELEC (European Committee for Electrotechnical Standardization) standards that are used for railways, there is a need of formal methods. While providing these standards, Petri Net design method also brings simplicity on programming after the design stage. In this study, a Mathematica

AB - Signalization and interlocking design is one of the most crucial components that provide safe travelling and transportation on railways. In order to satisfy the requirements of CENELEC (European Committee for Electrotechnical Standardization) standards that are used for railways, there is a need of formal methods. While providing these standards, Petri Net design method also brings simplicity on programming after the design stage. In this study, a Mathematica

UR - http://www.scopus.com/inward/record.url?scp=79951638860&partnerID=8YFLogxK

M3 - Konferans katkısı

AN - SCOPUS:79951638860

SN - 9781424495887

T3 - 2010 National Conference on Electrical, Electronics and Computer Engineering, ELECO 2010

SP - 197

EP - 201

BT - 2010 National Conference on Electrical, Electronics and Computer Engineering, ELECO 2010

T2 - 2010 7th National Conference on Electrical, Electronics and Computer Engineering, ELECO 2010

Y2 - 2 December 2010 through 5 December 2010

ER -

Anklaşman tasarimi için petri aǧi denetç ilerinin otomatik oluşturulmasi

Abstract

Publication series

Conference

Other files and links

Fingerprint

Cite this