Описание тега petri-net

Сеть Петри - это описание системы в терминах сетевых элементов. Существует четыре типа сетевых элементов: место, переход, вход и выход. Вход соединяет место с переходом. Выход соединяет переход с местом. Аннотация - это информация любого типа. Сетевой элемент может иметь ноль или более аннотаций. Аннотации также могут содержать ноль или более аннотаций.