A Petri net based automation engine.

Parses a Petri net and runs it

Stochastic Model-checking Analyzer for Reliability and Timing

A model checker for safe Petri nets based on partial-order semantics

Seto is a library for the decomposition of Transition Systems into subsets of Petri nets, in particular State Machines and Free-choice Petri nets.

[Application][Version 0.4.0][Functional] A timed Petri net and graph event editor and simulator combined to (max,+) algebra with wrapped API for Julia lang

Material from the course of Systems Dependability at ENSEM - Université de Lorraine.

Petri Networks simulator

Научная исследовательская работа по теме "Разработка инструментов анализа сетей Петри"

Implementation of the (Approximate) Probabilistic Trace Alignment. To compile the code, see the demo below.