Modeling train control systems with Petrinets-an operational specification | IEEE Conference Publication | IEEE Xplore