Title: Discrete-time Markovian stochastic Petri nets
Subjects: Markov chains, Petri nets