Publikace detail
Solving Deadlock States in Model of Railway Station Operation Using Coloured Petri Nets
Autoři:
Žarnay Michal
Rok: 2008
Druh publikace: článek ve sborníku
Název zdroje: Formal methods for automation and safety in railway and automotive systems : proceedings of Symposium FORMS/FORMAT 2008
Název nakladatele: Budapest University of Technology and Economics
Místo vydání: Budapest
Strana od-do: 205-213