Efficient Decomposition Algorithm for Stationary Analysis of Complex Stochastic Petri Net Models

Kristóf Marussy, Attila Klenik, Vince Molnár, András Vörös, István Majzik, Miklós Telek. Efficient Decomposition Algorithm for Stationary Analysis of Complex Stochastic Petri Net Models. In Fabrice Kordon, Daniel Moldt, editors, Application and Theory of Petri Nets and Concurrency - 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings. Volume 9698 of Lecture Notes in Computer Science, pages 281-300, Springer, 2016. [doi]

Abstract

Abstract is missing.