Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | https://arxiv.org/abs/2405.21025 |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866910049816805376 |
|---|---|
| author | Valk, Rüdiger Moldt, Daniel |
| author_facet | Valk, Rüdiger Moldt, Daniel |
| contents | Cycloids are particular Petri nets for modelling processes of actions and events, belonging to the fundaments of Petri's general systems theory. Defined by four parameters they provide an algebraic formalism to describe strongly synchronized sequential processes. To further investigate their structure, reduction systems of cycloids are defined in the style of rewriting systems and properties of irreducible cycloids are proved. In particular the synthesis of cycloid parameters from their Petri net structure is derived, leading to an efficient method for a decision procedure for cycloid isomorphism. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2405_21025 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | On Reduction and Synthesis of Petri's Cycloids Valk, Rüdiger Moldt, Daniel Distributed, Parallel, and Cluster Computing Logic in Computer Science 94-08 D.2.2 Cycloids are particular Petri nets for modelling processes of actions and events, belonging to the fundaments of Petri's general systems theory. Defined by four parameters they provide an algebraic formalism to describe strongly synchronized sequential processes. To further investigate their structure, reduction systems of cycloids are defined in the style of rewriting systems and properties of irreducible cycloids are proved. In particular the synthesis of cycloid parameters from their Petri net structure is derived, leading to an efficient method for a decision procedure for cycloid isomorphism. |
| title | On Reduction and Synthesis of Petri's Cycloids |
| topic | Distributed, Parallel, and Cluster Computing Logic in Computer Science 94-08 D.2.2 |
| url | https://arxiv.org/abs/2405.21025 |