Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2021
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2105.12801 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866911333635588096 |
|---|---|
| author | Di Lavore, Elena Leal, Wilmer de Paiva, Valeria |
| author_facet | Di Lavore, Elena Leal, Wilmer de Paiva, Valeria |
| contents | The categorical modeling of Petri nets has received much attention recently. The Dialectica construction has also had its fair share of attention. We revisit the use of the Dialectica construction as a categorical model for Petri nets generalising the original application to suggest that Petri nets with different kinds of transitions can be modelled in the same categorical framework. Transitions representing truth-values, probabilities, rates or multiplicities, evaluated in different algebraic structures called lineales are useful and are modelled here in the same category. We investigate (categorical instances of) this generalised model and its connections to more recent models of categorical nets. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2105_12801 |
| institution | arXiv |
| publishDate | 2021 |
| record_format | arxiv |
| spellingShingle | Dialectica Petri Nets Di Lavore, Elena Leal, Wilmer de Paiva, Valeria Category Theory Logic in Computer Science 03B70, 18M45, 19D23, 18D15, 18B10, 05C20, 05C76 The categorical modeling of Petri nets has received much attention recently. The Dialectica construction has also had its fair share of attention. We revisit the use of the Dialectica construction as a categorical model for Petri nets generalising the original application to suggest that Petri nets with different kinds of transitions can be modelled in the same categorical framework. Transitions representing truth-values, probabilities, rates or multiplicities, evaluated in different algebraic structures called lineales are useful and are modelled here in the same category. We investigate (categorical instances of) this generalised model and its connections to more recent models of categorical nets. |
| title | Dialectica Petri Nets |
| topic | Category Theory Logic in Computer Science 03B70, 18M45, 19D23, 18D15, 18B10, 05C20, 05C76 |
| url | https://arxiv.org/abs/2105.12801 |