libpetri-debug 1.4.0

Debug protocol for libpetri Coloured Time Petri Net engine

Coverage
36.82%
102 out of 277 items documented0 out of 79 items with examples
Size
Source code size: 134.27 kB This is the summed size of all the files inside the crates.io package for this release.
Documentation size: 13.89 MB This is the summed size of all files generated by rustdoc for all configured targets
Ø build duration
this release: 48s Average build duration of successful builds.
all releases: 38s Average build duration of successful builds in releases after 2024-10-23.
Links
Homepage
Repository
crates.io
Dependencies
Versions
Owners

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.

[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.