Sidebar

Main

Internal

Trace:

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

--- pn2mc:features [2014/11/19 21:27]
jbiernacki [RTCP Conversion]
+++ pn2mc:features [2021/09/23 08:51] (current)
@@ Line 91: / Line 91: @@
 Top menu bar contains 4 submenus:
-  * **File** - containing //Open// and //Exit// buttons. The first one of them allows to select a file from a file system - its path appears in the current tab page's //select file// edit. The other is obvious.  \\ \\
+  * **File** - containing //Open// and //Exit// buttons. First one of them allows to select a file from a file system - its path appears in the current tab page's //select file// edit. The other is obvious.  \\ \\
   * **Parser** - contains translation settings. Currently there is only one parameter that can be set. It is called //omega// and represents the number of tokens which will be treated as infinity during PT-nets coverability graphs translation.  \\ {{:pn2mc:features:settings2.png?200|}}   {{:pn2mc:features:settings1.png?200|}} \\ \\
   * **RTCP Simulator** - contains options of RTCP-nets compilation and coverability graph generation. Currently there is only one parameter that can be set - RTCP simulation //End time//. It sets maximal virtual time of simulation during coverability graph generation. If this time is reached, coverabilty graph generation will stop. \\ \\ {{:pn2mc:features:settings3.png?200|}} \\ \\