Lindemann, C.C.Lindemann2022-03-092022-03-091995https://publica.fraunhofer.de/handle/publica/325421en004006Exploiting isomorphisms and special structures in the analysis of Markov regenerative stochastic Petri netsconference paper