Module debug_session_registry 

Registry for managing Petri net debug sessions.

Structs

DebugSession

A registered debug session.

DebugSessionRegistry

Registry for managing debug sessions.

Functions

build_net_structure

Builds the NetStructure from a session’s stored place and transition info.

Type Aliases

EventStoreFactory

Factory function for creating DebugEventStore instances.

SessionCompletionListener

Callback invoked when a session completes.