Changes between Version 16 and Version 17 of MoMoC

Timestamp:

Jan 27, 2020, 4:59:53 PM (5 years ago)

Author:

5willrod

Comment:

--

MoMoC

@@ -61 +61 @@
  
 
-''Why does the formula EG(m(p)=1) throw a syntax error?''
-
-m(p)=1 is not a valid atomic proposition. Because MoMoC is designed for reference nets, all predicates that refer to a place must be nested into a ''net instance quantifier'' to avoid ambiguity. 
+> ''Why does the formula EG(m(p)=1) throw a syntax error?''
+>
+> m(p)=1 is not a valid atomic proposition. Because MoMoC is designed for reference nets, all predicates that refer to a place must be nested into a ''net instance quantifier'' to avoid ambiguity.