@misc{indiciae76bb8e233fd8,
  title = {Discrete-time Markovian stochastic Petri nets},
  author = {Ciardo, Gianfranco},
  year = {1995},
  url = {https://ntrs.nasa.gov/citations/19950017193},
  note = {Source identifier: 19950017193}
}