Changes between Version 17 and Version 18 of MoMoC

Timestamp:

Jan 27, 2020, 5:03:53 PM (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.
 
+= 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].
+
 = User Guide
 
-A detailed user guide will follow shortly.
+WIP
 
 == User Interface
@@ -59 +64 @@
 AG !(NetB, m(p1) <= 5) : ''"On all paths, globally, all net instances of net template NetB have at least 5 tokens on their place p1"''
 
- 
 
 > ''Why does the formula EG(m(p)=1) throw a syntax error?''