libpetri-debug — Debug Protocol for Petri Net Inspection

Provides a framework-agnostic debug protocol for live inspection, replay, breakpoints, and event filtering of Petri net executions.

Architecture

• DebugAwareEventStore wraps a primary EventStore and an Arc<DebugEventStore>, forwarding events to both. The executor owns the wrapper; the protocol handler shares the Arc<DebugEventStore>.
• DebugProtocolHandler dispatches commands from clients, manages subscriptions, and sends responses via the ResponseSink trait.
• DebugSessionRegistry tracks sessions, generates DOT diagrams, and extracts net structure.

Feature Flags

• archive — Enables gzip-compressed session archive read/write.