Changes between Version 10 and Version 11 of MoMoC

Timestamp:

Jan 12, 2020, 11:13:42 PM (5 years ago)

Author:

5willrod

Comment:

--

MoMoC

@@ -19 +19 @@
 
 === User Interface
+
+=== Net Instance Quantifier
 
 === Syntax
@@ -57 +59 @@
 AG !(Net1, m(p1) <= 5)
 
-=== Atomic Propositions
+=== Atomic Propositions: Semantics
 
 **Deadlock**: True, iff no transition is activated in a marking.