How kp-kul/pypnog_pprai_2026 works
This repository implements a railway-transport ontology-backed Petri-net simulator. Its workflow loads the ontology and arc definitions, constructs a net and initial marking, checks and fires enabled transitions for a fixed number of steps, and emits a DOT representation and console markings. The source excerpt is partial, so the graph omits uncertain internal wiring and treats the visible simulation setup as the runtime orchestrator.
Main entry points: PyPNOG_PPRAI_2026.py Simulation script · Railway_Transport.owl Railway ontology · Input_arcs_RT.csv Input arc definitions · Output_arcs_RT.csv Output arc definitions
Components 15
Net Model
- Marking structures
PyPNOG_PPRAI_2026.py - Places
PyPNOG_PPRAI_2026.py - MIMPNOG net
PyPNOG_PPRAI_2026.py
Execution Semantics
- Simulation script
PyPNOG_PPRAI_2026.py - Arc formula parser
PyPNOG_PPRAI_2026.py - SPARQL generator
PyPNOG_PPRAI_2026.py - Transitions
PyPNOG_PPRAI_2026.py
Model Inputs
- Railway ontology
Railway_Transport.owl - OWLready2 world
- Input arc definitions
Input_arcs_RT.csv - Output arc definitions
Output_arcs_RT.csv - Pandas CSV reader
Simulation Results
- DOT network file
- Console markings
Other components
- User
Connections 19
- User → Simulation script: runs
- Simulation script → Railway ontology: loads
- Simulation script → OWLready2 world: creates world
- Simulation script → Pandas CSV reader: reads CSV
- Pandas CSV reader → Input arc definitions: reads
- Pandas CSV reader → Output arc definitions: reads
- Simulation script → MIMPNOG net: constructs
- Simulation script → Places: creates
- Simulation script → Transitions: creates
- Simulation script → Marking structures: initializes
- MIMPNOG net → Places: holds
- MIMPNOG net → Transitions: holds
- MIMPNOG net → Marking structures: holds
- Transitions → Arc formula parser: parses arcs
- Transitions → SPARQL generator: queries ontology
- Transitions → Marking structures: checks and updates
- Simulation script → Transitions: checks and fires
- Simulation script → DOT network file: writes network
- Simulation script → Console markings: prints markings