Top

Published in:

2019 | OriginalPaper | Chapter

Representing Dependencies in Event Structures

Author : G. Michele Pinna

Published in: Coordination Models and Languages

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

Abstract

Event Structures where the causality may change dynamically have been introduced recently. In this kind of Event Structures the changes in the set of the causes of an event are triggered by modifiers that may add or remove dependencies, thus making the happening of an event contextual. Still the focus is always on the dependencies of the event. In this paper we promote the idea that the context determined by the modifiers plays a major rôle, and the context itself determines not only the causes but also what causality should be. Modifiers are then used to understand when an event (or a set of events) can be added to a configuration, together with a set of events modeling dependencies, which will play a less important rôle. We show that most of the notions of Event Structure presented in literature can be translated into this new kind of Event Structure, preserving the main notion, namely the one of configuration.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

next chapter Reversing P/T Nets

Arbach, Y., Karcher, D., Peters, K., Nestmann, U.: Dynamic causality in event structures. In: Graf, S., Viswanathan, M. (eds.) FORTE 2015. LNCS, vol. 9039, pp. 83–97. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-19195-9_6CrossRef

Arbach, Y., Karcher, D., Peters, K., Nestmann, U.: Dynamic causality in event structures (technical report). CoRR abs/1504.00512 (2015)

Arbach, Y., Karcher, D.S., Peters, K., Nestmann, U.: Dynamic causality in event structures. Logical Methods Comput. Sci. 14(1), 1–17 (2018)

Baldan, P., Bracciali, A., Bruni, R.: A semantic framework for open processes. Theor. Comput. Sci. 389(3), 446–483 (2007)MathSciNetCrossRef

Baldan, P., Busi, N., Corradini, A., Pinna, G.M.: Domain and event structure semantics for Petri nets with read and inhibitor arcs. Theor. Comput. Sci. 323(1–3), 129–189 (2004)MathSciNetCrossRef

Baldan, P., Corradini, A., Montanari, U.: Contextual Petri nets, asymmetric event structures and processes. Inf. Comput. 171(1), 1–49 (2001)MathSciNetCrossRef

Bartoletti, M., Cimoli, T., Pinna, G.M., Zunino, R.: Circular causality in event structures. Fundam. Inform. 134(3–4), 219–259 (2014)MathSciNetMATH

Boudol, G.: Flow event structures and flow nets. In: Guessarian, I. (ed.) LITP 1990. LNCS, vol. 469, pp. 62–95. Springer, Heidelberg (1990). https://doi.org/10.1007/3-540-53479-2_4CrossRef

Gaifman, H.: Modeling concurrency by partial orders and nonlinear transition systems. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) REX 1988. LNCS, vol. 354, pp. 467–488. Springer, Heidelberg (1989). https://doi.org/10.1007/BFb0013031CrossRef

10.

Gaifman, H., Pratt, V.R.: Partial order models of concurrency and the computation of functions. In: Gries, D. (ed.) LICS 1987 Conference Proceedings, pp. 72–85. IEEE Computer Society (1987)

11.

Gunawardena, J.: Geometric logic, causality and event structures. In: Baeten, J.C.M., Groote, J.F. (eds.) CONCUR 1991. LNCS, vol. 527, pp. 266–280. Springer, Heidelberg (1991). https://doi.org/10.1007/3-540-54430-5_94CrossRef

12.

Gunawardena, J.: Causal automata. Theor. Comput. Sci. 101(2), 265–288 (1992)MathSciNetCrossRef

13.

Janicki, R., Koutny, M.: Semantics of inhibitor nets. Inf. Comput. 123, 1–16 (1995)MathSciNetCrossRef

14.

Karcher, D.S., Nestmann, U.: Higher-order dynamics in event structures. In: Leucker, M., Rueda, C., Valencia, F.D. (eds.) ICTAC 2015. LNCS, vol. 9399, pp. 258–271. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-25150-9_16CrossRef

15.

Langerak, R.: Bundle event structures: a non-interleaving semantics for LOTOS. In: Diaz, M., Groz, R. (eds.) FORTE 1992 Conference Proceedings. IFIP Transactions, vol. C-10, pp. 331–346. North-Holland (1992)

16.

Langerak, R., Brinksma, E., Katoen, J.-P.: Causal ambiguity and partial orders in event structures. In: Mazurkiewicz, A., Winkowski, J. (eds.) CONCUR 1997. LNCS, vol. 1243, pp. 317–331. Springer, Heidelberg (1997). https://doi.org/10.1007/3-540-63141-0_22CrossRef

17.

Leifer, J.J., Milner, R.: Transition systems, link graphs and petri nets. Math. Struct. Comput. Sci. 16(6), 989–1047 (2006)MathSciNetCrossRef

18.

Nielsen, M., Plotkin, G., Winskel, G.: Petri nets, event structures and domains, part 1. Theor. Comput. Sci. 13, 85–108 (1981)CrossRef

19.

Phillips, I., Ulidowski, I.: Reversibility and asymmetric conflict in event structures. J. Logic Algebraic Methods Program. 84(6), 781–805 (2015)MathSciNetCrossRef

20.

Pinna, G.M.: Event structures with disabling/enabling relation and event automata. Fundam. Inform. 73(3), 409–430 (2006)MathSciNetMATH

21.

Pinna, G.M., Poigné, A.: On the nature of events. In: Havel, I.M., Koubek, V. (eds.) MFCS 1992. LNCS, vol. 629, pp. 430–441. Springer, Heidelberg (1992). https://doi.org/10.1007/3-540-55808-X_42CrossRef

22.

Pinna, G.M., Poigné, A.: On the nature of events: another perspective in concurrency. Theor. Comput. Sci. 138(2), 425–454 (1995)MathSciNetCrossRef

23.

Pinna, G.M., Saba, A.: Modeling dependencies and simultaneity in membrane system computations. Theor. Comput. Sci. 431, 13–39 (2012)MathSciNetCrossRef

24.

Reisig, W.: Petri Nets: An Introduction. EACTS Monographs on Theoretical Computer Science. Springer, Heidelberg (1985). https://doi.org/10.1007/978-3-642-69968-9CrossRefMATH

25.

Rensink, A.: Posets for configurations!. In: Cleaveland, W.R. (ed.) CONCUR 1992. LNCS, vol. 630, pp. 269–285. Springer, Heidelberg (1992). https://doi.org/10.1007/BFb0084797CrossRef

26.

van Glabbeek, R., Plotkin, G.: Event structures for resolvable conflict. In: Fiala, J., Koubek, V., Kratochvíl, J. (eds.) MFCS 2004. LNCS, vol. 3153, pp. 550–561. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-28629-5_42CrossRef

27.

Winskel, G.: Event structures. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) ACPN 1986. LNCS, vol. 255, pp. 325–392. Springer, Heidelberg (1987). https://doi.org/10.1007/3-540-17906-2_31CrossRef

Title: Representing Dependencies in Event Structures
Author: G. Michele Pinna
Publisher: Springer International Publishing
Book: Coordination Models and Languages
Print ISBN: 978-3-030-22396-0

Electronic ISBN: 978-3-030-22397-7

Copyright Year: 2019
DOI: https://doi.org/10.1007/978-3-030-22397-7_1

Springer Professional

Abstract

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner