Lindemann, C.C.LindemannShedler, G.S.G.S.Shedler2022-03-032022-03-031996https://publica.fraunhofer.de/handle/publica/189632en004006400Numerical analysis of deterministic and stochastic Petri nets with concurrent deterministic transitionsjournal article