Usage

This documentation describes the mechanics of Petrinaut and how to integrate it with other tools. End-user documentation for the editor UI — drawing nets, setting initial markings, driving the simulator from the canvas — lives alongside the source code in the Petrinaut User Guide on GitHub. Start there if you want a guided walkthrough of the editor itself.

What's in this section

• Basic Features — the Petri net extensions Petrinaut supports, and import and export features.
• Creation — authoring nets by hand, with AI assistance, or programmatically from data. Covers process mining, LLM-driven extraction, and autoformalization.
• Verification — what can be formally checked about a Petri net, where symbolic analysis runs out, and how Monte Carlo fills the gap.
• Simulation — the headless simulation engine, single runs, Monte Carlo experiments, custom metrics, and live visualization.