A new operational representation of dependencies in Event Structures
The execution of an event in a complex and distributed system where the dependencies vary during the evolution of the system can be represented in many ways, and one of them is to use Context-Dependent Event structures. Event structures are related to Petri nets. The aim of this paper is to propose...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Logical Methods in Computer Science e.V.
2021-12-01
|
| Series: | Logical Methods in Computer Science |
| Subjects: | |
| Online Access: | https://lmcs.episciences.org/6950/pdf |
| _version_ | 1797268513283375104 |
|---|---|
| author | G. Michele Pinna |
| author_facet | G. Michele Pinna |
| author_sort | G. Michele Pinna |
| collection | DOAJ |
| description | The execution of an event in a complex and distributed system where the
dependencies vary during the evolution of the system can be represented in many
ways, and one of them is to use Context-Dependent Event structures. Event
structures are related to Petri nets. The aim of this paper is to propose what
can be the appropriate kind of Petri net corresponding to Context-Dependent
Event structures, giving an operational flavour to the dependencies represented
in a Context/Dependent Event structure. Dependencies are often operationally
represented, in Petri nets, by tokens produced by activities and consumed by
others. Here we shift the perspective using contextual arcs to characterize
what has happened so far and in this way to describe the dependencies among the
various activities. |
| first_indexed | 2024-04-25T01:33:40Z |
| format | Article |
| id | doaj.art-ae4def010648432d830dc86ec8928fe3 |
| institution | Directory Open Access Journal |
| issn | 1860-5974 |
| language | English |
| last_indexed | 2024-04-25T01:33:40Z |
| publishDate | 2021-12-01 |
| publisher | Logical Methods in Computer Science e.V. |
| record_format | Article |
| series | Logical Methods in Computer Science |
| spelling | doaj.art-ae4def010648432d830dc86ec8928fe32024-03-08T10:35:55ZengLogical Methods in Computer Science e.V.Logical Methods in Computer Science1860-59742021-12-01Volume 17, Issue 410.46298/lmcs-17(4:16)20216950A new operational representation of dependencies in Event StructuresG. Michele Pinnahttps://orcid.org/0000-0001-8911-1580The execution of an event in a complex and distributed system where the dependencies vary during the evolution of the system can be represented in many ways, and one of them is to use Context-Dependent Event structures. Event structures are related to Petri nets. The aim of this paper is to propose what can be the appropriate kind of Petri net corresponding to Context-Dependent Event structures, giving an operational flavour to the dependencies represented in a Context/Dependent Event structure. Dependencies are often operationally represented, in Petri nets, by tokens produced by activities and consumed by others. Here we shift the perspective using contextual arcs to characterize what has happened so far and in this way to describe the dependencies among the various activities.https://lmcs.episciences.org/6950/pdfcomputer science - logic in computer sciencef.4.mh.1 |
| spellingShingle | G. Michele Pinna A new operational representation of dependencies in Event Structures Logical Methods in Computer Science computer science - logic in computer science f.4.m h.1 |
| title | A new operational representation of dependencies in Event Structures |
| title_full | A new operational representation of dependencies in Event Structures |
| title_fullStr | A new operational representation of dependencies in Event Structures |
| title_full_unstemmed | A new operational representation of dependencies in Event Structures |
| title_short | A new operational representation of dependencies in Event Structures |
| title_sort | new operational representation of dependencies in event structures |
| topic | computer science - logic in computer science f.4.m h.1 |
| url | https://lmcs.episciences.org/6950/pdf |
| work_keys_str_mv | AT gmichelepinna anewoperationalrepresentationofdependenciesineventstructures AT gmichelepinna newoperationalrepresentationofdependenciesineventstructures |