%0 Conference Proceedings
%T Operational Representation of Dependencies in Context-Dependent Event Structures
%+ Università degli Studi di Cagliari = University of Cagliari (UniCa)
%A Pinna, G., Michele
%Z Part 8: Modelling
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 22th International Conference on Coordination Languages and Models (COORDINATION)
%C Valletta, Malta
%Y Simon Bliudze
%Y Laura Bocchi
%I Springer International Publishing
%3 Coordination Models and Languages
%V LNCS-12134
%P 320-338
%8 2020-06-15
%D 2020
%R 10.1007/978-3-030-50029-0_20
%K Petri nets
%K Event structures
%K Operational semantics
%K Contextual nets
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X 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.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-03273985/document
%2 https://inria.hal.science/hal-03273985/file/495623_1_En_20_Chapter.pdf
%L hal-03273985
%U https://inria.hal.science/hal-03273985
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-COORDINATION
%~ IFIP-LNCS-12134