RTCP-nets compiler
RTCPNC (Real-Time Coloured Petri Net Compiler) is a compiler for RTCP-nets. It is a simple command line application. RTCPNC is integreted into PetriNet2ModelChecker tool which facilitates usage of the compiler by providing intuitive graphical user interface.
The latest version of the compiler can be downloaded from the Software page. On this page the compiler usage can be also found.