Loading...
Loading...
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.
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.
Use compatible tools to work with *.ctmdpi files.
Probably can be converted to other chemical formats.
Language
