Equivalence and lumpability of FSPNs

DOI10.1007/978-3-319-61428-1_2zbMath1475.68201OpenAlexW2621924084MaRDI QIDQ1798123

Miklós Telek, Igor V. Tarasyuk, Falko Bause, Peter Buchholz

Publication date: 23 October 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-61428-1_2

zbMATH Keywords

equivalencelumpabilityfluid stochastic Petri nets

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

This page was built for publication: Equivalence and lumpability of FSPNs