Projects



Changes between Version 15 and Version 16 of MoMoC


Ignore:
Timestamp:
Jan 26, 2020, 9:51:50 PM (5 years ago)
Author:
5willrod
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • MoMoC

    v15 v16  
    7070**Deadlock**: True, iff no transition is activated in a marking.
    7171
    72 **Fireable(T)**: True, iff T is activated in a marking. For root net transitions, it is sufficient to use the transition name as the parameter. For any other net instance, the syntax is !NetName.!TransitionName
     72**Fireable(T)**: True, iff the transition T is activated in a marking. For root net transitions, it is sufficient to use the transition name as the parameter. For any other net instance, the syntax is !NetName.!TransitionName
    7373
    7474**!NetInstanceForall**: True, iff the instance predicate is true in all instances of the given type.