Petri-Pilot

A gallery of Petri net models

Explore interactive workflows, state machines, and event-sourced systems built with go-pflow.

Explore Models

⭕

Tic-Tac-Toe

Classic two-player game modeled as a Petri net. Turn-based state machine with win detection.

game multiplayer
☕

Coffee Shop

Order workflow from placement to fulfillment. Demonstrates state transitions and role-based actions.

workflow roles