Jana Flochová, Ján Pivarcek, Peter Kubanda. Timed Automaton and Petri Net models of Intersection Control. In 7th International Conference on Control, Decision and Information Technologies, CoDIT 2020, Prague, Czech Republic, June 29 - July 2, 2020. pages 201-205, IEEE, 2020. [doi]
Abstract is missing.