Zuzana Lobotková, Ales Janota. Petri Net-Based Functional Representation of a Level Crossing. In Jerzy Mikulski, editor, Modern Transport Telematics - 11th International Conference on Transport Systems Telematics, TST 2011, Katowice-Ustroń, Poland, October 19-22, 2011. Selected Papers. Volume 239 of Communications in Computer and Information Science, pages 118-125, Springer, 2011. [doi]
Abstract is missing.