Zwei Veröffentlichungen mit Beteiligung.
Um Ihnen das Referenzieren zu vereinfachen, können Sie eine .
(834) |
Zarnay, M.: Solving Deadlock States in Model of Railway Station Operation Using Coloured Petri Nets. In: Schnieder, E.; Tarnai, G., Hrsg.: Proceedings of Symposium FORMS/FORMAT - Formal Methods for Automation and Safety in Railway and Automotive Systems, S. 205-213, Budapest/Hungary, October 2008. |
(840) |
Zarnay, M.; Britka, P.: Using Workflow Language for Railway Technology Models. Journal of Information, Control and Management Systems. 6(2), 2008. |