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