Petri Net-Based Functional Representation of a Level Crossing

@inproceedings{Lobotkov2011PetriNF,
  title={Petri Net-Based Functional Representation of a Level Crossing},
  author={Zuzana Lobotkov{\'a} and Ales Janota},
  booktitle={TST},
  year={2011}
}