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