We released a new version of APP4MC with a couple of new features and improvements.
Extract of APP4MC 0.9.4
Model migration support (0.9.3 -> 0.9.4) Optimized model search New validation framework (preview)
Model changes / Improvements
Extended modes to allow counters (integer values) with comparison, increment, decrement Uniform use of execution conditions (for stimuli, runnables, mode switches) Model cleanup (removed runnable deadlines, distinct naming)