Discrete Time Stochastic Petri Nets

DOI10.1109/TSE.1985.232230zbMath0558.68053MaRDI QIDQ3347312

Mike Molloy

Publication date: 1985

Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)

Mathematics Subject Classification ID

60J20: Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.)

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)