Semantic Embedding of Petri Nets into Event-B
| dc.creator | Attiogbe, Christian | |
| dc.date | 2005-10-24 | |
| dc.date.accessioned | 2026-07-07T06:46:17Z | |
| dc.date.available | 2026-07-07T06:46:17Z | |
| dc.description | We present an embedding of Petri nets into B abstract systems. The embedding is achieved by translating both the static structure (modelling aspect) and the evolution semantics of Petri nets. The static structure of a Petri-net is captured within a B abstract system through a graph structure. This abstract system is then included in another abstract system which captures the evolution semantics of Petri-nets. The evolution semantics results in some B events depending on the chosen policies: basic nets or high level Petri nets. The current embedding enables one to use conjointly Petri nets and Event-B in the same system development, but at different steps and for various analysis. | |
| dc.description | 16 pages, 3 figures | |
| dc.identifier | https://arxiv.org/abs/cs/0510073 | |
| dc.identifier | http://arxiv.org/abs/cs/0510073 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/103289 | |
| dc.subject | Logic in Computer Science | |
| dc.subject | D.2.2; D.2.4; F.3.1 | |
| dc.title | Semantic Embedding of Petri Nets into Event-B | |
| dc.type | text |