fdPRISM

fdPRISM is an extension of PRISM rendering it to support fixed-delay continuous-time Markov chains (fdCTMC), the equivalent formalism to deterministic and stochastic Petri nets (DSPN).

fdPRISM download
fdCTMC models in .tgz other models listed on Mário Uhrík's homepage
short tool paper accepted for publication at iFM 2016
fdPRISM download - iFM version (before merge with the up-to-date PRISM branch)
theoretical paper on synthesis of fixed-delays in fdCTMC presented at QEST 2015

Current development in this area continues in a git branch of PRISM and a git branch of STORM.