С включённым пропуском кадров останавливает модель
Synchronous Petri Nets' emulator
Brought to you by:
funkyloiso,
willworkforfood
Похоже, остановка была связана с генератором случайных чисел и исправилась с заменой этих самых генераторов. Счётчик производительности поправил