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 systempsilas 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.