Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

Napredna pretraga

Pregled bibliografske jedinice broj: 367840

Modeling Bus Communication Protocols Using Timed Colored Petri Nets — The Controller Area Network Example


Bago, Marko; Perić, Nedjeljko; Marijan, Siniša
Modeling Bus Communication Protocols Using Timed Colored Petri Nets — The Controller Area Network Example // Proceedings of the Ninth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools / Jensen, Kurt (ur.).
Aarhus: University of Aarhus, 2008. str. 103-121 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)


CROSBI ID: 367840 Za ispravke kontaktirajte CROSBI podršku putem web obrasca

Naslov
Modeling Bus Communication Protocols Using Timed Colored Petri Nets — The Controller Area Network Example

Autori
Bago, Marko ; Perić, Nedjeljko ; Marijan, Siniša

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
Proceedings of the Ninth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools / Jensen, Kurt - Aarhus : University of Aarhus, 2008, 103-121

Skup
Ninth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools

Mjesto i datum
Århus, Danska, 20.10.2008. - 22.10.2008

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
Controller Area Network; timed colored Petri net; modeling; simulation; verification; validation

Sažetak
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.

Izvorni jezik
Engleski

Znanstvena područja
Elektrotehnika, Temeljne tehničke znanosti



POVEZANOST RADA


Projekti:
036-0361621-3012 - Napredne strategije upravljanja i estimacije u složenim sustavima (Perić, Nedjeljko, MZO ) ( CroRIS)
036-0363078-3018 - Upravljanje mobilnim robotima i vozilima u nepoznatim i dinamičkim okruženjima (Petrović, Ivan, MZO ) ( CroRIS)

Ustanove:
KONČAR - Institut za elektrotehniku d.d.,
Fakultet elektrotehnike i računarstva, Zagreb

Profili:

Avatar Url Nedjeljko Perić (autor)

Avatar Url Siniša Marijan (autor)

Avatar Url Marko Bago (autor)

Poveznice na cjeloviti tekst rada:

Pristup cjelovitom tekstu rada www.daimi.au.dk

Citiraj ovu publikaciju:

Bago, Marko; Perić, Nedjeljko; Marijan, Siniša
Modeling Bus Communication Protocols Using Timed Colored Petri Nets — The Controller Area Network Example // Proceedings of the Ninth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools / Jensen, Kurt (ur.).
Aarhus: University of Aarhus, 2008. str. 103-121 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
Bago, M., Perić, N. & Marijan, S. (2008) Modeling Bus Communication Protocols Using Timed Colored Petri Nets — The Controller Area Network Example. U: Jensen, K. (ur.)Proceedings of the Ninth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools.
@article{article, author = {Bago, Marko and Peri\'{c}, Nedjeljko and Marijan, Sini\v{s}a}, editor = {Jensen, K.}, year = {2008}, pages = {103-121}, keywords = {Controller Area Network, timed colored Petri net, modeling, simulation, verification, validation}, title = {Modeling Bus Communication Protocols Using Timed Colored Petri Nets and \#8212; The Controller Area Network Example}, keyword = {Controller Area Network, timed colored Petri net, modeling, simulation, verification, validation}, publisher = {University of Aarhus}, publisherplace = {\AArhus, Danska} }
@article{article, author = {Bago, Marko and Peri\'{c}, Nedjeljko and Marijan, Sini\v{s}a}, editor = {Jensen, K.}, year = {2008}, pages = {103-121}, keywords = {Controller Area Network, timed colored Petri net, modeling, simulation, verification, validation}, title = {Modeling Bus Communication Protocols Using Timed Colored Petri Nets and \#8212; The Controller Area Network Example}, keyword = {Controller Area Network, timed colored Petri net, modeling, simulation, verification, validation}, publisher = {University of Aarhus}, publisherplace = {\AArhus, Danska} }




Contrast
Increase Font
Decrease Font
Dyslexic Font