Changes between Version 19 and Version 20 of MoMoC

Timestamp:

Jan 28, 2020, 3:41:26 AM (5 years ago)

Author:

5willrod

Comment:

--

MoMoC

@@ -14 +14 @@
 As the names suggest, the user guide explains usage and features of the MoMoC plugin, whereas the developer guide is addressed to anyone who wants to extend the plugin.
 
-= How to get MoMoC
+== Where to get MoMoC
 
 MoMoC is currently not part of the official Renew release. 
-A version of Renew with MoMoC can be downloaded [/wiki/MoMoC here].
+A version of Renew with MoMoC and some examples can be downloaded [/wiki/MoMoC here].
 
-Renew can then be started from within the folder with the command
+= User Guide
+
+== Getting Started
+
+After downloading, Renew can be started from within the folder with the command
 
 {{{
@@ -25 +29 @@
 }}}
 
-The version also includes some examples. 
-
-= User Guide
-
-== Getting Started
-
-
+This opens Renews GUI.
+MoMoC can be found under Tools > Modular Model Checker.
+This will open !MoMoCs GUI, which is further described below.
+In the Examples folder, some exemplary reference net systems are provided to demonstrate the capabilities of MoMoC.
+All net templates must be opened and the ''root net instance'' (usually the net called ''System'') must be selected /active.
 
 == User Interface