arXiv (All)
open access
A Practical Approach To Verifying Structural Invariants In Colored Petri Nets
Structural analysis is a core method in Petri Net (PN) research, offering a perspective complementary to state-space techniques while avoiding many of their limitations. It is well studied for classical PNs but far less for High-Level Petri Nets (HLPN). Symmetric Nets (SN), a common HLPN formalism,
Conceptio Open Archive
Analyze & explore related research in Conceptio
Connect this record directly into your research workflow or AI agent. Explore citations across open repositories, query full text, and export structured proof bundles.
This document is indexed with metadata only: full text is not available in the archive for this record. Open the official source ↗
Related documents
- Universal Properties of Petri Net Unfoldings#1123693
- Network representation and complex systems#762577
- Assessing cooperative behavior in dynamical networks with applications to brain data#401902
- Recursive Admissibility Architecture: A Structural Bridge from Internal System Dynamics to Domain Behaviour#79199
- Invariants as the Foundation of Identity#93515
Record · ID 1129538
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Bring this data into your agent: Connect via MCP or API · 20 free credits to start · no card required
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive