@Other{WolterZisowsky_2000, title={On Markov reward modelling with FSPNs}, author={Wolter, Katinka and Zisowsky, Andrea}, doi={http://dx.doi.org/10.22028/D291-26171}, year={2000} }