Symbolic Methods for the State Space Exploration of GSPN Models

DOI10.1007/3-540-46029-2_12zbMath1047.68517OpenAlexW1556105277MaRDI QIDQ4738777

Pieter Kritzinger, Ian Davies, William J. Knottenbelt

Publication date: 11 August 2004

Published in: Computer Performance Evaluation: Modelling Techniques and Tools (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-46029-2_12

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Symbolic Methods for the State Space Exploration of GSPN Models