A Colored Petri Net Model for Control Problem of Border Crossing Under Constraints
Hela Kadri,Simon Collart-Dutilleul,Philippe Bon,Rochdi Merzouki,Hela Kadri,Simon Collart-Dutilleul,Philippe Bon,Rochdi Merzouki
In this paper, we consider the European Rail Traffic Management System (ERTMS) as a System-of-Systems (SoS) and propose modeling it using colored Petri nets. We formally control the European rail transport, while guaranteeing a set of cross-border security properties. This becomes an essential and challenging task since each of them have mainly developed safety and trackside rules regardless of it...
