Stefan Einer, Roman Slovák, Eckehard Schnieder. Modeling train control systems with Petrinets-an operational specification. In Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: "Cybernetics Evolving to Systems, Humans, Organizations, and their Complex Interactions", Sheraton Music City Hotel, Nashville, Tennessee, USA, 8-11 October 2000. pages 3207-3211, IEEE, 2000. [doi]
@inproceedings{EinerSS00, title = {Modeling train control systems with Petrinets-an operational specification}, author = {Stefan Einer and Roman Slovák and Eckehard Schnieder}, year = {2000}, doi = {10.1109/ICSMC.2000.886494}, url = {https://doi.org/10.1109/ICSMC.2000.886494}, researchr = {https://researchr.org/publication/EinerSS00}, cites = {0}, citedby = {0}, pages = {3207-3211}, booktitle = {Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: "Cybernetics Evolving to Systems, Humans, Organizations, and their Complex Interactions", Sheraton Music City Hotel, Nashville, Tennessee, USA, 8-11 October 2000}, publisher = {IEEE}, isbn = {0-7803-6583-6}, }