Petri Nets and Higher-Dimensional Automata
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , , , , |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866929698349514752 |
|---|---|
| author | Amrane, Amazigh Bazille, Hugo Fahrenberg, Uli Hélouët, Loïc Schlehuber-Caissier, Philipp |
| author_facet | Amrane, Amazigh Bazille, Hugo Fahrenberg, Uli Hélouët, Loïc Schlehuber-Caissier, Philipp |
| contents | Petri nets and their variants are often considered through their interleaved semantics, i.e. considering executions where, at each step, a single transition fires. This is clearly a miss, as Petri nets are a true concurrency model. This paper revisits the semantics of Petri nets as higher-dimensional automata (HDAs) as introduced by van Glabbeek, which methodically take concurrency into account. We extend the translation to include some common features. We consider nets with inhibitor arcs, under both concurrent semantics used in the literature, and generalized self-modifying nets. Finally, we present a tool that implements our translations. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2502_02354 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Petri Nets and Higher-Dimensional Automata Amrane, Amazigh Bazille, Hugo Fahrenberg, Uli Hélouët, Loïc Schlehuber-Caissier, Philipp Logic in Computer Science Petri nets and their variants are often considered through their interleaved semantics, i.e. considering executions where, at each step, a single transition fires. This is clearly a miss, as Petri nets are a true concurrency model. This paper revisits the semantics of Petri nets as higher-dimensional automata (HDAs) as introduced by van Glabbeek, which methodically take concurrency into account. We extend the translation to include some common features. We consider nets with inhibitor arcs, under both concurrent semantics used in the literature, and generalized self-modifying nets. Finally, we present a tool that implements our translations. |
| title | Petri Nets and Higher-Dimensional Automata |
| topic | Logic in Computer Science |
| url | https://arxiv.org/abs/2502.02354 |