On the construction of pullbacks for safe Petri nets
URL: https://inria.hal.science/inria-00070296
Dataset description:
The product of safe Petri nets is a well known operation: it generalizes to concurrent systems the usual synchronous product of automata. In this short note, we consider the...
Source: On the construction of pullbacks for safe Petri nets
There are no views created for this resource yet.
Additional Information
| Field | Value |
|---|---|
| Data last updated | unknown |
| Metadata last updated | May 16, 2026 |
| Created | unknown |
| Format | HTML |
| License | https://about.hal.science/hal-authorisation-v1/, info:eu-repo/semantics/OpenAccess |
| Created | 5 months ago |
| Id | 3d7e6b08-5bcc-4d3c-993d-82a78fa1df8b |
| Package id | oai-hal-inria-00070296v1 |
| Resource type | HTML |
| State | active |