Sidebar

Main

Internal

Trace:

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

Differences

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

--- pn2mc:quick_start [2014/11/14 19:01]
jbiernacki [Steps required to generate nuXmv code for an RTCP-net]
+++ pn2mc:quick_start [2021/09/23 08:51] (current)
@@ Line 10: / Line 10: @@
 PetriNet2ModelChecker has 3 tab pages:
-  * **//Coverability graph to nuXmv parser//** - facilitates PT-, CP- and  RTCP-nets' reachability/coverability graphs to nuXmv code translation.
+  * **//Coverability graph to nuXmv parser//** - facilitates PT-, CP- and  RTCP-nets' reachability/coverability graphs into nuXmv code translation.
-  * **//Coverability graph to AUT parser//** ////- facilitates PT-, CP- and  RTCP-nets' reachability/coverability graphs to 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.
 ===== 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//). \\ {{PetriNet2ModelChecker%20Quick%20Start_pliki:image002.gif?448x78}} \\
+  - Select //RTCP Nets// option from the combo box.  \\ \\ {{:pn2mc:quickstart:nettypes.png|}}  \\ \\
-  - Select //RTCP Nets// option from the combo box. \\ {{PetriNet2ModelChecker%20Quick%20Start_pliki:image004.jpg?215x101}} \\
+  - 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. \\ {{PetriNet2ModelChecker%20Quick%20Start_pliki:image006.gif?404x217}} \\
+  - Click the //Translate// button  \\ \\ {{:pn2mc:quickstart:translate.png|}}  \\ \\
-  - Click the //Translate// button \\ {{PetriNet2ModelChecker%20Quick%20Start_pliki:image008.jpg?113x55}} \\
+  - 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. \\ {{PetriNet2ModelChecker%20Quick%20Start_pliki:image010.jpg?571x306}} \\