OCPN Studio

OCPN Studio is a browser-based application for designing Object-Centric Colored Petri Nets (OCPNs) and generating simulated event logs, replacing the previously complex, StandardML-heavy modeling workflow with an interactive visual interface. The source code is available at github.com/ELTE-DSED/ocpn-studio.

A hosted version is available at: elte-dsed.github.io/ocpn-studio, requiring no installation.

OCPN Studio supports the following features and use cases:

Visual Editing: A drag-and-drop canvas for places, transitions, and arcs, with multi-select batch editing.
Hierarchical Modeling: Substitution transitions, subpages, and fusion places.
Declarations: Color sets, variables, priorities, and functions.
Declarative Constraints: LTL-based behavioral rules (e.g., Response, Precedence) shown as color-coded arcs.
Simulation: Browser-based simulation powered by cpnsim (Rust/WebAssembly), with step-through and auto-run modes.
Monitors: Marking-size, transition-count, breakpoint, duration, and custom data collectors.
State Space Analysis: BFS exploration, SCC decomposition, dead/home markings, boundedness, and liveness checking.
Reachability Graph: Interactive visualization of the state space.
Auto-Layout: Dagre, ELK, or custom Sugiyama-based layout algorithms.
OCEL 2.0 Export: Simulated event logs can be exported in the standard OCEL 2.0 format.
File Format Compatibility: .ocpn (native JSON), .cpn (CPN Tools XML), partial .pnml support, and .json (CPNPy).

Cite this Tool

If OCPN Studio was useful for your research, please cite the paper introducing it.

István Koren. “OCPN Studio: Web-Based Modeling, Simulation, and Analysis of Object-Centric Petri Nets.” In: Application and Theory of Petri Nets and Concurrency (PETRI NETS 2026), LNCS vol. 16567, pp. 395–405. Springer, Cham, 2026.

@inproceedings{koren2026ocpnstudio,
  author    = {Koren, Istv{\'a}n},
  title     = {{OCPN} Studio: Web-Based Modeling, Simulation, and Analysis of Object-Centric {P}etri Nets},
  booktitle = {Application and Theory of Petri Nets and Concurrency},
  editor    = {Desel, J{\"o}rg and Kalenkova, Anna},
  series    = {Lecture Notes in Computer Science},
  volume    = {16567},
  pages     = {395--405},
  publisher = {Springer},
  address   = {Cham},
  year      = {2026},
  doi       = {10.1007/978-3-032-27879-1_21}
}

OCPN Studio

Cite this Tool #

Cite this Tool