Petriho siete a podobné formalizmy
M. Žarnay, M. Silva, Decolourisation of stochastic symmetric nets with bags, in 2010 IEEE International Conference on Systems, Man and Cybernetics, Istanbul (Turkey), October 2010, ISBN978-1-4244-6587-3
M. Žarnay, L. Jančík, P. Cenek, Modelling Deadlock Avoidance in AGV Systems via Coloured Petri Nets, in Proceedings of the 7th EUROSIM Congress on Modelling and Simulation, September 6-10, 2010, Prague, Vol. 1 – Book of Abstracts – ISSN 978-90-01-04588-6, Vol. 2 – Full Papers (CD) – ISSN 978-90-01-04589-3
A. Kavička, M. Žarnay, Specifikace a analýza podtřídy barvené Petriho sítě uplatňované v rámci simulačních modelů dopravních systémů [Specification and analysis of coloured Petri net subclass implemented in simulation models of transportation systems], in Perner’s contacts, 12/2008, University of Pardubice, 2008, pp. 153-162, ISSN 1801-674X (In Czech)
M. Žarnay, P. Britka, Using workflow language for railway technology models, in Journal of Information, Control and Management Systems, University of Žilina, Faculty of Management Science and Informatics, Vol. 6, No. 2, 2008, pp. 145-158, ISSN 1336-1716
M. Žarnay, Banker’s algorithm implementation in CPN Tools, in Proceeding of 9th workshop and tutorial on practical use of coloured Petri nets and the CPN Tools, K. Jensen (Ed.), University of Aarhus (Denmark), 2008, pp. 123-142, ISSN 0105-8571
A. Kavička, M. Žarnay, Application of coloured Petri net for agent control and communication in the ABAsim architecture, in Proceeding of 9th workshop and tutorial on practical use of coloured Petri nets and the CPN Tools, K. Jensen (Ed.), University of Aarhus (Denmark), 2008, pp. 47-62, ISSN 0105-8571
M. Žarnay, Solving deadlock states in model of railway station operation using coloured Petri nets, in Formal Methods for Automation and Safety in Railway and Automotive Systems, Proceedings of Symposium FORMS/FORMAT 2008, G. Tarnai, E. Schnieder (Eds.), Budapest, 10/2008, pp. 205-213, ISBN 978 963 236 138 3
M. Žarnay, Analýza modelu zriaďovacej stanice v Petriho sieti [Analysis of marshalling yard model in Petri net], in Proceedings of conference Teorie dopravních systémů 2007 [Transportation systems theory 2007], Jan Perner Transport Faculty, University of Pardubice, 2007, pp. 287-297, ISBN 978–80–7194–927–5 (In Slovak)
original longer version
M. Žarnay, Prideľovanie prostriedkov v dopravnom systéme [Resource allocation in transportation system], in Proceedings of conference INFOTRANS 2007, University of Pardubice, September 25-26, 2007, pp. 313-321, ISBN 978–80–7194–989–3(In Slovak)
M. Žarnay, Systémy na podporu rozhodovania v dopravných procesoch [Decision-support systems in transportation processes], Dissertation thesis, University of Žilina, January 2007(In Slovak)
M. Žarnay, Coloured Petri net model of train handling in marschalling yard, in Proceedings of the 14th International symposium EURNEX – Žel 2006, May 30-31, 2006, Žilina, 2nd part, pp. 168-173, ISBN 80-8070-550-X
M. Žarnay, Ľ. Sadloň, Prevod sieťového grafu technologického postupu spracovania vlaku na Petriho sieť [Transformation of train processing technology net flowchart to Petri net], in Horizonty dopravy [Transport horizons], Transport Research Institute, Žilina, 1/2006, pp. 19-25, ISSN 1210-0978(In Slovak)
M. Žarnay, K. Sládeček, P. Cenek, Modelling of marschalling yard technology with help of Petri net, in Journal of Information, Control and Management Systems, University of Žilina, Faculty of Management Science and Informatics, Vol. 4, No. 1, 2006, pp. 49-62, ISSN 1336-1716
M. Žarnay, Use of Petri Net for Modelling of Traffic in Railway Stations, in Proceedings of international conference Infotrans 2004, February 4-5, 2004, Pardubice
*
Modelovanie a simulácia prevádzky a riadenia dopravných systémov
M. Žarnay, R. Javorka Robustnosť grafikonu trate Žilina – Rajec zahusteného mestskými spojmi [Robustness of the Žilina - Rajec railway line timetable supplemented by urban connections], in Železničná doprava a logistika, elektronický odborný časopis o železničnej doprave, preprave, logistike a manažmente [Railway transport and logistics, electronic technical journal for railway transport and carriage, logistics and management], 2/2011, pp. 14-22, ISSN 1336-7943 (In Slovak)
M. Žarnay, R. Javorka Počítačová simulácia prevádzky železničnej trate [Computer simulation of railway track operation], in Perner’s Contacts, elektronický odborný časopis o technológii, technike a logistike v doprave [electronical technical journal of technology, engineering and logistic in transport], 1/2011, pp. 438-446, ISSN 1801-674X (In Slovak)
M. Bažant, M. Žarnay, Simulation model of train connections for delayed trains in passenger stations, in Proceedings of international conference Žel 2005, University of Žilina, 2nd part, pp. 142-147, ISBN 80-8070-400-7
M. Bažant, M. Žarnay, Formalizace řešení přidělení náhradní nástupištní koleje pro zpožděný vlak [Formalization of alternative platform track assigning for delayed train], in Proceedings of international conference Informační technologie v dopravě – Infotrans 2005 [Information technologies in transportation – Infotrans 2005],University of Pardubice, 2005, pp. 115-133, ISBN 80–7194–792–X(In Czech)
M. Bažant, M. Žarnay, Modelování situací vznikajících při zpoždění vlaků v osobních železničních stanicích [Modelling of situations created by train delays in passenger railway stations], in Proceedings of conference Dopravní systémy 2005 [Transport systems 2005], Jan Perner Transport Faculty, University of Pardubice, 2005, pp. 248-256, ISBN 80–7194–805–5 (In Czech)
M. Žarnay, Human factor in decision-making in simulation model of transportation system and approaches to its modelling, in Communications, scientific letters of University of Žilina, 1/2004, pp. 50-53,ISSN 1335-4205
P. Márton, M. Žarnay, L. Wenjian, Development of computer simulation model of Mudanjiang railway junction and its results, in Proceedings of international conference Žel 2003, May 27-28, 2003, Žilina, 1st part, pp. 174-178, ISBN 80-7135-062-1
M. Žarnay, Human Factor in Decision-making in Simulation Model of Transportation System, in Proceedings of international conference Transcom 2003, June 23-25, 2003, Žilina, pp. 223-226, ISBN 80-8070-081-8
M. Žarnay, Deadlock solving in transport system with methods from computer operating system, in Communications, scientific letters of University of Žilina, 4/2003, pp. 74-77, ISSN 1335-4205
M. Žarnay, P. Márton, M. Dupkala, Vytvorenie simulačného modelu železničnej stanice Žilina-Teplička [Creation of simulation model of the Žilina-Teplička railway station], in Proceedings of international conference Infotrans 2002, February 7-8, 2002, Pardubice, ISBN 80-7194-419-X, (In Slovak)
M. Žarnay, P. Márton, M. Dupkala, Vytvorenie a použitie simulačného modelu železničnej stanice Žilina – Teplička [Creation and use of simulation model of the Žilina-Teplička railway station], in Proceedings of international conference Žel 2002, May 28-29, 2002, Žilina, 2nd part, pp. 113-118, ISBN 80-7135-059-1 (In Slovak)
M. Žarnay, Analýza rozhodovania v simulačnom modeli uzla železničnej siete [Analysis of decision-making in simulation model of railway network node], in Proceedings of PhD students seminar Perner’s Contact 2001, Pardubice, ISBN 80-7194-321-5 (In Slovak)
M. Žarnay, Analýza metód riadenia v dopravných systémoch [Analysis of Control Methods in Transport Systems], paper for academic dissertation examination, University of Žilina, Žilina, 2001 (In Slovak)
M. Žarnay, Podpora rozhodovania v simulačných modeloch uzlov železničnej siete [Decision-making support in simulation models of nodes of railway network], in Proceedings of PhD students seminar Perner’s Contact 2000, Pardubice, ISBN 80-7194-249-9 (In Slovak)
M. Žarnay, Algoritmy rozhodovania v simulačných modeloch uzlov železničnej siete [Decision-making algorithms in simulation models of railway network nodes], in Proceedings of international scientific conference MI 2000 – Management and Computer Science in new millennium, September 12-13, 2000, Žilina, 2nd part, pp. 129-132, ISBN 80-7100-780-3 (In Slovak)
M. Žarnay, Simulačný model prevádzky osobnej železničnej stanice Žilina [Simulation model of the Žilina passenger railway station operation], diploma thesis, University of Žilina, 1999 (In Slovak)
M. Žarnay, A. Kavička, Simulačný model prevádzky osobnej železničnej stanice [Simulation model of passenger railway station operation], in Proceedings of international conference Žel ‘99, Žilina, pp. 128-133, ISBN 80-7135-053-2 (In Slovak)
*
Iné témy
M. Žarnay, Použitie myšlienkovej mapy na záznam informácií (FreeMind) [Use of mind map for information recording (FreeMind)], in Proceedings of conference OSSConf2010 – Otvorený softvér vo vzdelávaní, výskume a v IT riešeniach 2010 [Open-source software in education, research and IT solutions 2010],Žilina: Spoločnosť pre otvorené informačné technológie [Society for open-source information technologies], July 2010 (In Slovak)
*
Posledná aktualizácia: 22.8.2011