scientific article

zbMath0979.65008MaRDI QIDQ2703728

Lorenzo Capra, Claude Dutheillet, Jean-Michel Ilié, Giuliana Franceschinis

Publication date: 8 May 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

algorithmcontinuous time Markov chainlumped Markov chainextended symbolic reachability graphstochastic well-formed net models

Mathematics Subject Classification ID

Computational methods in Markov chains (60J22) Numerical analysis or methods applied to Markov chains (65C40)

Uses Software

• GreatSPN
• GreatSPN 1.7

This page was built for publication: