LanguageCTMDPI
MRMC Markov Reward Model Checker matrix
File type: Various data file
A ctmdpi file extension is related to the MRMC (Markov Reward Model Checker) and used for its matrix files.
What is ctmdpi file?
File type category:
Various data file
Date updated: August 20, 2019
The ctmdpi file extension is associated with the MRMC (Markov Reward Model Checker).
The .ctmdpi file contains the rate matrix and additionally the transition labeling to distinguish between different non-deterministic choices.
How to open ctmdpi file?
Use compatible tools to work with *.ctmdpi files.
How to convert ctmdpi file?
Probably can be converted to other chemical formats.
Suggested software to open ctmdpi file:
Associated software actions with the ctmdpi file
Software applications that can open ctmdpi files:
MRMC (Microsoft Windows)
Software apps that create ctmdpi files:
MRMC (Microsoft Windows)