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 - https://www.scopus.com/pages/publications/79951638860
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 -