Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revisionBoth sides next revision | ||
| pn2mc:compiler [2014/11/16 21:41] jbiernacki created | pn2mc:compiler [2021/09/23 08:51] (current) | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== RTCP-nets compiler ====== | ====== 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 [[: | ||
| + | |||
| + | **[[: | ||