Philippe Bon

A Colored Petri Net Model for Control Problem of Border Crossing Under Constraints

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 c…