Petri net type on Cospan<Lambda>

[tsondru]

Design and implement a PetriNet type built on Cospan<Lambda> — places as source/target, transitions as middle.

Tasks

• Design PetriNet type built on Cospan<Lambda>
• Token game / firing semantics
• Integration with MorphismSystem for compositional Petri net construction
• SurrealDB persistence via hub-node reification (catgraph-surreal V2)
• Integration tests with chemical reaction and workflow use cases

Context

Natural fit for source/target (cospan) semantics. Chemical reaction domain tests already demonstrate the pattern.

See Wikipedia: Petri net

[tsondru]

Update: PetriNetStore added in catgraph-surreal (8934cce) with marking snapshots. Checking off the SurrealDB persistence task.

Remaining: MorphismSystem integration (low priority — PetriNet has its own parallel/sequential composition that works well without it).