Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionBoth sides next revision | ||
pn2mc:quick_start [2014/11/14 19:00] jbiernacki | pn2mc:quick_start [2021/09/23 08:51] (current) | ||
---|---|---|---|
Line 10: | Line 10: | ||
PetriNet2ModelChecker has 3 tab pages: | PetriNet2ModelChecker has 3 tab pages: | ||
- | * **// | + | * **// |
- | * **// | + | * **// |
* **//RTCP Conversion// | * **//RTCP Conversion// | ||
- | |||
- | |||
===== Steps required to generate nuXmv code for an RTCP-net ===== | ===== Steps required to generate nuXmv code for an RTCP-net ===== | ||
- | + | | |
- | | + | - Select //RTCP Nets// option from the combo box. |
- | - 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. |
- | - 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 // |
- | - Click the // | + | - NuXmv code after its appearance in the memo can be easily saved to a file by clicking on the //Save// button. |
- | - 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}} \\ | + | |