nach oben

Erschienen in:

2020 | OriginalPaper | Buchkapitel

Operational Representation of Dependencies in Context-Dependent Event Structures

verfasst von : G. Michele Pinna

Erschienen in: Coordination Models and Languages

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

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!

Jetzt informieren

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!

Jetzt informieren

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!

Jetzt informieren

Vorheriges Kapitel Weighted PCL over Product Valuation Monoids

Nächstes Kapitel Towards a Formally Verified EVM in Production Environment

Arbach, Y., Karcher, D.S., Peters, K., Nestmann, U.: Dynamic causality in event structures. Log. Methods Comput. Sci. 14(1) (2018). https://doi.org/10.23638/LMCS-14(1:17)2018

Baldan, P., Bruni, R., Corradini, A., Gadducci, F., Melgratti, H.C., Montanari, U.: Event structures for petri nets with persistence. Log. Methods Comput. Sci. 14(3) (2018). https://doi.org/10.23638/LMCS-14(3:25)2018

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.: Lending Petri nets. Sci. Comput. Program. 112, 75–101 (2015). https://doi.org/10.1016/j.scico.2015.05.006CrossRefMATH

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

Casu, G., Pinna, G.M.: Flow unfolding of multi-clock nets. In: Ciardo, G., Kindler, E. (eds.) PETRI NETS 2014. LNCS, vol. 8489, pp. 170–189. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-07734-5_10CrossRefMATH

Casu, G., Pinna, G.M.: Merging relations: a way to compact Petri nets’ behaviors uniformly. In: Drewes, F., Martín-Vide, C., Truthe, B. (eds.) LATA 2017. LNCS, vol. 10168, pp. 325–337. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-53733-7_24CrossRef

Casu, G., Pinna, G.M.: Petri nets and dynamic causality for service-oriented computations. In: Seffah, A., Penzenstadler, B., Alves, C., Peng, X. (eds.) Proceedings of SAC 2017, pp. 1326–1333. ACM (2017). https://doi.org/10.1145/3019612.3019806

10.

Crazzolara, F., Winskel, G.: Petri nets with persistence. Electron. Notes Theor. Comput. Sci. 121, 143–155 (2005). https://doi.org/10.1016/j.entcs.2004.10.012CrossRefMATH

11.

Fabre, E.: Trellis processes: a compact representation for runs of concurrent systems. Discrete Event Dyn. Syst. 17(3), 267–306 (2007). https://doi.org/10.1007/s10626-006-0001-0CrossRefMATH

12.

Fabre, E., Pinna, G.M.: Toward a uniform approach to the unfolding of nets. In: Bartoletti, M., Knight, S. (eds.) ICE 2018 Conference Proceedings. EPTCS, vol. 279, pp. 21–36 (2018). https://doi.org/10.4204/EPTCS.279.5

13.

van Glabbeek, R.J., Plotkin, G.D.: Configuration structures, event structures and Petri nets. Theor. Comput. Sci. 410(41), 4111–4159 (2009). https://doi.org/10.1016/j.tcs.2009.06.014MathSciNetCrossRefMATH

14.

Goltz, U., Reisig, W.: The non-sequential behavior of Petri nets. Inf. Control 57(2/3), 125–147 (1983). https://doi.org/10.1016/S0019-9958(83)80040-0CrossRefMATH

15.

Janicki, R., Koutny, M.: Semantics of inhibitor nets. Inf. Comput. 123, 1–16 (1995). https://doi.org/10.1006/inco.1995.1153MathSciNetCrossRefMATH

16.

Khomenko, V., Kondratyev, A., Koutny, M., Vogler, W.: Merged processes: a new condensed representation of Petri net behaviour. Acta Informatica 43(5), 307–330 (2006). https://doi.org/10.1007/s00236-006-0023-yMathSciNetCrossRefMATH

17.

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 (1993)

18.

Melgratti, H.C., Mezzina, C.A., Philipps, I., Pinna, G.M., Ulidowski, I.: Reversible occurrence nets and causal reversible prime event structures. In: Lanese, I., Rawski, M. (eds.) RC 2020 Conference Proceedings. LNCS, vol. 11533. Springer, Cham (2020, to appear)

19.

Melgratti, H., Mezzina, C.A., Ulidowski, I.: Reversing P/T nets. In: Riis Nielson, H., Tuosto, E. (eds.) COORDINATION 2019. LNCS, vol. 11533, pp. 19–36. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-22397-7_2CrossRef

20.

Montanari, U., Rossi, F.: Contextual nets. Acta Informatica 32(6) (1995). https://doi.org/10.1007/BF01178907

21.

Nielsen, M., Plotkin, G., Winskel, G.: Petri nets, event structures and domains, part 1. Theor. Comput. Sci. 13, 85–108 (1981). https://doi.org/10.1016/0304-3975(81)90112-2CrossRefMATH

22.

Pinna, G.M.: How much is worth to remember? A taxonomy based on Petri nets unfoldings. In: Kristensen, L.M., Petrucci, L. (eds.) PETRI NETS 2011. LNCS, vol. 6709, pp. 109–128. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-21834-7_7CrossRefMATH

23.

Pinna, G.M.: Representing dependencies in event structures. In: Riis Nielson, H., Tuosto, E. (eds.) COORDINATION 2019. LNCS, vol. 11533, pp. 3–18. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-22397-7_1CrossRef

24.

Pinna, G.M.: Representing dependencies in event structures. Log. Methods Comput. Sci. (2020, to appear)

25.

Pinna, G.M., Fabre, E.: Spreading nets: a uniform approach to unfoldings. J. Log. Algebraic Methods Program. 112, 100526 (2020). http://www.sciencedirect.com/science/article/pii/S2352220820300110

26.

van Glabbeek, R.J., Plotkin, G.: Configuration structures. In: LICS 1995, pp. 199–209. IEEE Computer Society Press, June 1995. https://doi.org/10.1109/LICS.1995.523257

27.

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

28.

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

Titel: Operational Representation of Dependencies in Context-Dependent Event Structures
verfasst von: G. Michele Pinna
Verlag: Springer International Publishing
Buch: Coordination Models and Languages
Print ISBN: 978-3-030-50028-3

Electronic ISBN: 978-3-030-50029-0

Copyright-Jahr: 2020
DOI: https://doi.org/10.1007/978-3-030-50029-0_20

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"