Sidebar

Main

Internal

Trace:
Trace: • doc • features • quick_start • faq • compiler • introduction • rtcpn_modelling

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
Both sides next revision
pn2mc:quick_start [2014/11/14 19:18]
jbiernacki [Steps required to generate nuXmv code for an RTCP-net] 		pn2mc:quick_start [2021/09/23 08:51] (current)
Line 13: Line 13:
   * **//Coverability graph to AUT parser//** ////- facilitates PT-, CP- and  RTCP-nets' reachability/coverability graphs into Aldebaran format translation.    * **//Coverability graph to AUT parser//** ////- facilitates PT-, CP- and  RTCP-nets' reachability/coverability graphs into Aldebaran format translation. 
   * **//RTCP Conversion//** - enables loading RTCP-nets modelled with CPN Tools application and generation of their coverability graphs and  simulators.   * **//RTCP Conversion//** - enables loading RTCP-nets modelled with CPN Tools application and generation of their coverability graphs and  simulators.
- 
-  
  
 ===== Steps required to generate nuXmv code for an RTCP-net ===== ===== Steps required to generate nuXmv code for an RTCP-net =====
-  +  - Select the first of the tab pages (//Coverability graph to nuXmv parser//). \\ \\ {{:pn2mc:quickstart:tabs.png?400|}}  \\ \\ 
-  - Select the first of the tab pages (//Coverability graph to nuXmv parser//). \\ {{:pn2mc:quickstart:tabs.png|}} \\ +  - Select //RTCP Nets// option from the combo box.  \\ \\ {{:pn2mc:quickstart:nettypes.png|}}  \\ \\  
-  - Select //RTCP Nets// option from the combo box. \\ {{:pn2mc:quickstart:nettypes.png|}} \\ +  - Enter direct path of  the file to translate or select this file using file browser dialog shown after clicking the button designated with //[...]// symbol.  \\ \\ {{:pn2mc:quickstart:selectfile.png?400|}}  \\ \\   
-  - Enter direct path of  the file to translate or select this file using file browser dialog shown after clicking the button designated with //[...]// symbol. \\ {{:pn2mc:quickstart:selectfile.png?600|}} \\   +  - Click the //Translate// button  \\ \\ {{:pn2mc:quickstart:translate.png|}}  \\ \\ 
-  - Click the //Translate// button \\ {{:pn2mc:quickstart:translate.png|}} \\ +  - NuXmv code after its appearance in the memo can be easily  saved to a file by clicking on the //Save// button.  \\ \\  {{:pn2mc:quickstart:save.png?400|}}  \\ \\
-  - NuXmv code after its appearance in the memo can be easily  saved to a file by clicking on the //Save// button. \\ {{:pn2mc:quickstart:save.png?600|}} \\+
  
  
© Marcin Szpyrka 2008-2025