Changes between Version 7 and Version 8 of MoMoC

Timestamp:

Jan 12, 2020, 9:40:16 PM (5 years ago)

Author:

5willrod

Comment:

--

MoMoC

@@ -30 +30 @@
 ||= Atomic =|| Deadlock || DEADLOCK ||  ||
 || || Fireable || FIREABLE(Arg) || FIREABLE(T1) ||
-|| || NetInstanceForall || !(Arg, InstancePredicate) || !(NetA, m(p1) > 0) ||
-|| || NetInstanceExists || ?(Arg, InstancePredicate) || ?(NetB, m(p2) = 4) ||
-|| || InstancePredicate || m(Arg) Op Number || m(p3) <= 1 ||
+|| || !NetInstanceForall || !(Arg, !InstancePredicate) || !(NetA, m(p1) > 0) ||
+|| || !NetInstanceExists || ?(Arg, !InstancePredicate) || ?(NetB, m(p2) = 4) ||
+|| || !InstancePredicate || m(Arg) Op Number || m(p3) <= 1 ||
 || || Op || =, >, <, >=, <= || ||
 || || Arg || [A-Za-z0-9]+ || ||