Projects



Changes between Version 12 and Version 13 of MoMoC


Ignore:
Timestamp:
Jan 12, 2020, 11:32:51 PM (5 years ago)
Author:
5willrod
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • MoMoC

    v12 v13  
    4343|| || U || U, UNTIL || (p U q) ||
    4444||= Atomic =|| Deadlock || DEADLOCK ||  ||
    45 || || Fireable || FIREABLE(Arg) || FIREABLE(T1) ||
    46 || || !NetInstanceForall || !(Arg, !InstancePredicate) || !(NetA, m(p1) > 0) ||
    47 || || !NetInstanceExists || ?(Arg, !InstancePredicate) || ?(NetB, m(p2) = 4) ||
    48 || || !InstancePredicate || m(Arg) Op Number || m(p3) <= 1 ||
     45|| || Fireable || FIREABLE(''Arg'') || FIREABLE(T1) ||
     46|| || !NetInstanceForall || !(''Arg'', ''!InstancePredicate'') || !(NetA, m(p1) > 0) ||
     47|| || !NetInstanceExists || ?(''Arg'', ''!InstancePredicate'') || ?(NetB, m(p2) = 4) ||
     48|| || !InstancePredicate || m(''Arg'') ''Op'' ''Number'' || m(p3) <= 1 ||
    4949|| || Op || =, >, <, >=, <= || ||
    5050|| || Arg || [A-Za-z0-9]+ || ||