Safety requirements and p-time Petri nets: A Level Crossing case study

Maximum staying time specifications often ensue from validity intervals and safety requirements. Therefore there is a need for modelling this kind of constraints. There are some studies in the state of the art dealing with train traffic modes with timed Petri net. Nevertheless, these kinds of results do not integrate the safety requirements we want to deal with. In this paper, we explain the reasons which lead us to use p-time Petri nets in order to model a well known case study: a level crossing benchmark. Level crossings are critical components of the European railway network. Nevertheless some accurate time specifications are used in order to fulfill some safety requirements. As the time specifications are difficult to deal with, this paper proposes to apply a dedicated modelling tool which can be found in the literature