Alessandro Giua Carla Seatzu Modeling and Supervisory Control of Railway Networks Using Petri Nets. 431-445 2008 5 IEEE T. Automation Science and Engineering 3 http://dx.doi.org/10.1109/TASE.2008.916925 db/journals/tase/tase5.html#GiuaS08