Petri Net-Based Functional Representation of a Level Crossing. - Zuzana Lobotková; Ales Janota (TST, 2011)