Publication detail

Functional Behaviour Modeling of The Interlocking RBC Interface Signalling System by Means of Colored Petri Nets

Authors: Ouředníček Jan | Slovák Roman | Schnieder Eckehard

Year: 2007

Type of publication: článek ve sborníku

Name of source: FORMS/FORMAT 2007 - Formal Methods for Automation and Safety in Railway and Automotive Systems

Publisher name: GZVB - Traffic Transport &Telematics

Place: Braunschweig

Page from-to: 52-63

Titles:

Language	Name	Abstract	Keywords
cze	Modelování funkčního chování zabezpečovacího systému IRI prostřednictvím barevných Petriho sítí.	Příspěvek popisuje model funkčního chování systému IRI vytvořený pomocí nástroje pro barevné Petriho sítě ? Design/CPN. Příspěvek obsahuje stručný popis problému, tj. pilotní projekt ERTMS/ETCS v ČR, dále popisuje použitou metodiku modelování, strukturu a činnost modelu. Zmíněna je rovněž verifikace modelu.	Barevné Petriho sítě, Hierarchické Petriho sítě, Design/CPN, návrh prostřednictvím modelu, aplikace železničních zabezpečovacích systémů, ERTMS/ETCS, funkční algoritmy
eng	Functional Behaviour Modeling of The Interlocking RBC Interface Signalling System by Means of Colored Petri Nets	This paper presents a model of Interlocking ? RBC Interface functional behaviour created in by means of Colored Petri Nets software tool ? Design/CPN. The paper contains short domain problem description i.e. Czech ERTMS/ETCS pilot application, next describes used modelling methodology, structure and working of the model and also model verification methods are mentioned.	Colored Petri nets, Hierarchical Petri nets, Design/CPN, model based design, signalling railway application, ERTMS/ETCS, functional algorithm

Search