Программы petrikit.sf.net

PetriKit является модульным инструментарием для анализа Petri Net. Это позволяет извлечения основных свойств, извлечения invariants, и генерации график доступности. Результаты могут быть отформатированы простым текстом, HTML