Python · PyodideView · TypeScriptConformanceObject-centric
OCPN Comparison
run.promenade.ocpn-compare
Compares two Object-Centric Petri Nets per object type. It reports τ-abstracted directly-follows and reachability footprints, shared activities, variable-arc differences, and reciprocal bounded behavioral coverage. The report makes its approximation explicit: it is not an exact token-game or identifier-aware OCPN alignment.
Produces
- OcpnComparison
Runtimes
- Python · PyodidePython (often pm4py) running in the page through Pyodide
- View · TypeScriptRenders an artifact inside a sandboxed iframe
Versions
| Version | Released | Size | Notes |
|---|---|---|---|
| 0.1.0latest | 19 Aug 2026 | 10 KB | Initial release: two-input τ-abstracted OCPN footprint comparison, structural and variable-arc deltas, reciprocal bounded coverage, and a sandboxed report view. |