@inbook {Marussy:PN2016,
	title = {Efficient decomposition algorithm for stationary analysis of complex stochastic Petri net models},
	booktitle = {Application and Theory of Petri Nets and Concurrency},
	series = {Lecture Notes in Computer Science},
	volume = {9698},
	year = {2016},
	pages = {281-300},
	publisher = {Springer},
	organization = {Springer},
	isbn = {978-3-319-39086-4},
	doi = {10.1007/978-3-319-39086-4_17},
	url = {http://link.springer.com/chapter/10.1007/978-3-319-39086-4_17},
	author = {Marussy, Krist{\'o}f and Klenik, Attila and Vince Moln{\'a}r and Andr{\'a}s V{\"o}r{\"o}s and Istv{\'a}n Majzik and Mikl{\'o}s Telek},
	editor = {Kordon, Fabrice and Moldt, Daniel}
}
