Application of Coloured Petri Nets in Modelling and Simulating a Railway Signalling System.

Somsak Vanit-Anunchai
Published in: FMICS-AVoCS (2016)