[Journal papers] [Conference papers] [PhD Theses] [MSc Theses]

 

Conference paper
Modeling Bus Communication Protocols Using Timed Colored Petri Nets — The Controller Area Network Example
Ninth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, pp.103-121, 2008
ABSTRACT:
Engineers in industry usually design new systems based on earlier experience and available development tools. Unfortunately, software tools that enable industrial users insight into systems’ inner behavior before the production, are still not in everyday use. However, such tools, when used properly, can save both time and money. In this paper a system based on Controller Area Network is modeled using timed colored Petri nets. This system is verified for the desired properties and then it is validated. Validation is done using two real-life vehicle control units used in light rail applications. The results, as well as possible future use of the model, are presented.
BibTeX entry:
@inproceedings \{Bago2008_443,
author = \{Bago, M. AND Peri\'{c}, N. AND Marijan, S.},
title = \{Modeling Bus Communication Protocols Using Timed Colored Petri Nets — The Controller Area Network Example},
booktitle = {Ninth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools},
pages = \{103-121},
year = \{2008}
}
No file available for download

 

 

 

 

 

Home
About Us
People
Visitors
Groups
Projects
Publications
Software
Courses
Laboratory
Seminars
Students
Matlab
Alumni
Links