A method to abstract a stochastic Petri net.

DOI10.1016/S0895-7177(00)00094-7zbMath1043.68597OpenAlexW2140993362MaRDI QIDQ1597089

R. Smith

Publication date: 5 May 2002

Published in: Mathematical and Computer Modelling (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0895-7177(00)00094-7

Mathematics Subject Classification ID

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

Cites Work

• Markov Renewal Processes with Finitely Many States
• Markov Renewal Processes: Definitions and Preliminary Properties

This page was built for publication: A method to abstract a stochastic Petri net.