Petri net → WBS

flowchart TB A["Physical Constraints"] --> B(("Petri Net Structure")) B --> C["Places: Resources, Sites"] B --> D["Transitions: Activities"] C --> E["OPEN PETRI NET (P)"] D --> E E --> F["Symmetric Monoidal Category
P as a presentation of SMC
(FP, the free SMC on P)"] F --> G["Markings: Initial States
(Tokens representing resources)"] G --> H["GENERATE WBS OPTIONS
- Each marking ⇒ schedule
- Compatible with FP
- Composition = feasible
paths (sequence or ⊗)"] H --> I["Schedules + Work Packages
- Constrained by physical logic
- Derived from process structure
- Represented as string diagrams"] I --> J["TOOLING LAYERS
- Catlab.jl / AlgebraicJulia
- DPO Rewriting for dynamics
- StockFlow & CatColab logics"]