Items where Author is "Klenik, Attila"
Group by: Item Type | No Grouping Number of items: 4. Vörös, András and Darvas, Dániel and Hajdu, Ákos and Klenik, Attila and Marussy, Kristóf and Molnár, Vince and Majzik, István (2017) Industrial Applications of the PetriDotNet Modelling and Analysis Tool. SCIENCE OF COMPUTER PROGRAMMING. pp. 1-30. ISSN 0167-6423 Marussy, Kristóf and Klenik, Attila and Molnár, Vince and Vörös, András and Telek, Miklós and Majzik, István (2016) Configurable numerical analysis for stochastic systems. In: 2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR), 2016.04.11-2016.04.11, Bécs. Marussy, Kristóf and Klenik, Attila and Molnár, Vince and Vörös, András and Majzik, István and Telek, Miklós (2016) Efficient decomposition algorithm for stationary analysis of complex stochastic Petri net models. In: Application and Theory of Petri Nets and Concurrency. Lecture Notes in Computer Science (9698). Springer International Publishing, Cham (Svájc), pp. 281-300. ISBN 978-3-319-39086-4 Vörös, András and Darvas, Dániel and Molnár, Vince and Klenik, Attila and Hajdu, Ákos and Bartha, Tamás and Majzik, István (2016) PetriDotNet 1.5: Extensible Petri net editor and analyser for education and research. In: Application and Theory of Petri Nets and Concurrency. Lecture Notes in Computer Science (9698). Springer International Publishing, Cham (Svájc), pp. 123-132. ISBN 978-3-319-39086-4 |