Introducing B-Sequenced Petri Nets as a CPN Sub-class for Safe Train Control.

Zakaryae Boudi, Abderrahim Ait Wakrime, Simon Collart Dutilleul, Mohamed Haloua

Browse the full ENASE paper archive.