Operational Representation of Dependencies in Context-Dependent Event Structures
| Autor: | G. Michele Pinna |
|---|---|
| Přispěvatelé: | Universita degli Studi di Cagliari [Cagliari], Simon Bliudze, Laura Bocchi, TC 6, WG 6.1 |
| Jazyk: | angličtina |
| Rok vydání: | 2020 |
| Předmět: |
Theoretical computer science
Computer science Event (relativity) Context (language use) Petri nets 0102 computer and information sciences 02 engineering and technology Petri net 16. Peace & justice 01 natural sciences Operational semantics Article [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI] Event structure 010201 computation theory & mathematics 0202 electrical engineering electronic engineering information engineering Contextual nets 020201 artificial intelligence & image processing [INFO]Computer Science [cs] Event structures Representation (mathematics) |
| Zdroj: | Coordination Models and Languages Lecture Notes in Computer Science 22th International Conference on Coordination Languages and Models (COORDINATION) 22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.320-338, ⟨10.1007/978-3-030-50029-0_20⟩ Lecture Notes in Computer Science ISBN: 9783030500283 COORDINATION |
| DOI: | 10.1007/978-3-030-50029-0_20⟩ |
| Popis: | Part 8: Modelling; International audience; 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. Many kinds of event structures are related to various kind of Petri nets. The aim of this paper is to find the appropriate kind of Petri net that can be used to give an operational flavour to the dependencies represented in a Context/Dependent Event structure. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|