Modeling Wire Train Bus Communication Using Timed Colored Petri Nets (CROSBI ID 541896)
Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Bago, Marko ; Perić, Nedjeljko ; Marijan, Siniša
engleski
Modeling Wire Train Bus Communication Using Timed Colored Petri Nets
Engineers in industry usually design new systems based on earlier experience and available development tools. Although this approach offers substantial advantages, there is also a great disadvantage. Introduction of new technologies is very difficult. Software modeling and simulation tools enable industrial users insight into system’ s inner behavior before actually producing the system. In this paper a communication system based on the Wire Train Bus is modeled using timed Colored Petri Nets. This system is verified for the desired properties and then it is validated. Validation is performed using two WTB units used in different real-life rail applications. The results, as well as possible future use of the model, are presented.
Wire Train Bus; WTB; timed Colored Petri Net; CPN; modeling; validation; verification; simulation
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
2905-2910.
2008.
objavljeno
Podaci o matičnoj publikaciji
Proceedings of SICE Annual Conference 2008
Kojiro Hagino
Tokyo: The Society of Instrument and Control Engineers (SICE)
978-4-907764-29-6
Podaci o skupu
International Conference on Instrumentation, Control and Information Technology - SICE Annual Conference 2008 - SICE2008
predavanje
20.08.2008-22.08.2008
Tokyo, Japan