Differences
This shows you the differences between two versions of the page.
Next revision | Previous revisionBoth sides next revision | ||
pn2mc:quick_start [2014/11/14 18:31] jbiernacki created | pn2mc:quick_start [2021/09/23 08:51] (current) | ||
---|---|---|---|
Line 1: | Line 1: | ||
====== Quick Start====== | ====== Quick Start====== | ||
+ | |||
+ | |||
+ | ===== Application launching ===== | ||
+ | |||
+ | The application can be launched by executing PetriNet2ModelChecker.jar file. | ||
+ | |||
+ | ===== Main features ===== | ||
+ | |||
+ | PetriNet2ModelChecker has 3 tab pages: | ||
+ | |||
+ | * **// | ||
+ | * **// | ||
+ | * **//RTCP Conversion// | ||
+ | |||
+ | ===== Steps required to generate nuXmv code for an RTCP-net ===== | ||
+ | - Select the first of the tab pages (// | ||
+ | - Select //RTCP Nets// option from the combo box. \\ \\ {{: | ||
+ | - Enter direct path of the file to translate or select this file using file browser dialog shown after clicking the button designated with //[...]// symbol. | ||
+ | - Click the // | ||
+ | - NuXmv code after its appearance in the memo can be easily saved to a file by clicking on the //Save// button. | ||
+ | |||
+ | |||
+ | ===== Other functions ===== | ||
+ | Translation of coverability/ | ||
+ | |||
+ | |||
**[[: | **[[: |