Performance Evaluation of Polling-Based Communication Systems Using SPNs

Authors:
Boudewijn R. Haverkort
Affiliations:
-
Venue:
Application of Petri Nets to Communication Networks, Advances in Petri Nets
Year:
1999

Citing 0
Cited 1

Efficient CTMC model checking of linear real-time objectives

TACAS'11/ETAPS'11 Proceedings of the 17th international conference on Tools and algorithms for the construction and analysis of systems: part of the joint European conferences on theory and practice of software

Quantified Score

Hi-index	0.00

Visualization

Abstract