Changes between Version 15 and Version 16 of MoMoC
- Timestamp:
- Jan 26, 2020, 9:51:50 PM (5 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
MoMoC
v15 v16 70 70 **Deadlock**: True, iff no transition is activated in a marking. 71 71 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.!TransitionName72 **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 73 73 74 74 **!NetInstanceForall**: True, iff the instance predicate is true in all instances of the given type.