Robert Lorenz. Modeling Quantitative Aspects of Concurrent Systems Using Weighted Petri Net Transducers. In Raymond R. Devillers, Antti Valmari, editors, Application and Theory of Petri Nets and Concurrency - 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings. Volume 9115 of Lecture Notes in Computer Science, pages 49-76, Springer, 2015. [doi]
Abstract is missing.