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

Abstract

.fr Abstract -Maximumstaying timespecifications often ensue fromvalidity intervals andsafety requirements. Therefore there isaneedformodelling this kindofconstraints. There aresomestudies inthestate oftheartdealing withtrain traffic modeswithtimedPetri net.Nevertheless, these kinds ofresults donotintegrate thesafety requirements wewant todealwith. Inthis paper, weexplain thereasons whichlead ustousep-time Petri netsinordertomodelawellknown casestudy:a level crossing benchmark.Levelcrossings arecritical components oftheEuropean railway network. Nevertheless someaccurate timespecifications areused inordertofulfil somesafety requirements. Asthetime specifications aredifficult todealwith, this paperproposes to apply adedicated modelling toolwhichcanbefoundinthe literature.