This page contains the following files to download:
rtscts_s2.pm: template DTMC PRISM model representing a network of 2 stations exchanging packets using the RTS/CTS mechanism of the IEEE 802.11 Distributed Coordination Function of MAC protocol.
rtscts.pctl: PRISM properties files, containing the definition of a number of reward-based PCTL specifications that can be used to performance analysis of the rtscts_s2.pm model.
generatePmFileWithMoreStations_v7.py: a python script for generating PRISM DTMC models representing networks with an arbitrary number N of stations. This script requires file rtscts_s2.pm and generate rtscts_sN.pm where N is passed as an argument to the script.
These models have been developed by Nicolas Vasselin (master student @CentraleSupelec)