nach oben

Erschienen in:

2020 | OriginalPaper | Buchkapitel

Emulating Self-adaptive Stochastic Petri Nets

verfasst von : Lorenzo Capra, Matteo Camilli

Erschienen in: Computer Performance Engineering

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

Traditional Petri nets lack specific features to conveniently describe systems with an evolving structure. A model based on the Symmetric Net formalism has been recently introduced. It is composed of an emulator reproducing the behaviour of a Place/Transition net (encoded as a marking) and a basic set of net-transformation primitives to specify evolutionary behaviour. In this paper, we discuss the adoption of the stochastic extension of Symmetric Nets for performance analysis, considering important issues related to time specification and analysis complexity. We put into place theoretical aspects by using a running example consisting in a self-healing manufacturing system.

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 Coherent Resolutions of Nondeterminism

Nächstes Kapitel Design and Evaluation of an Edge Concurrency Control Protocol for Distributed Graph Databases

All the SN sources (GreatSPN.PNPRO files) are publicly available at https://github.com/SELab-unimi/sn-based-emulator.

(in)equalities between colors of the same subclass may be expressed through \(cond_i\).

Available at http://www.di.unito.it/~depierro/SNex/.

Baarir, S., Beccuti, M., Cerotti, D., De Pierro, M., Donatelli, S., Franceschinis, G.: The GreatSPN tool: recent enhancements. SIGMETRICS Perform. Eval. Rev. 36(4), 4–9 (2009). https://doi.org/10.1145/1530873.1530876CrossRef

Cabac, L., Duvigneau, M., Moldt, D., Rölke, H.: Modeling dynamic architectures using nets-within-nets. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol. 3536, pp. 148–167. Springer, Heidelberg (2005). https://doi.org/10.1007/11494744_10CrossRefMATH

Camilli, M., Gargantini, A., Scandurra, P.: Specifying and verifying real-time self-adaptive systems. In: 2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE), pp. 303–313, November 2015. https://doi.org/10.1109/ISSRE.2015.7381823

Camilli, M., Capra, L., Bellettini, C.: PNemu: an extensible modeling library for adaptable distributed systems. In: Donatelli, S., Haar, S. (eds.) PETRI NETS 2019. LNCS, vol. 11522, pp. 80–90. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-21571-2_5CrossRef

Capra, L.: A pure SPEC-inscribed PN model for reconfigurable systems. In: 2016 13th International Workshop on Discrete Event Systems (WODES), pp. 459–465, May 2016. https://doi.org/10.1109/WODES.2016.7497888

Capra, L., Camilli, M.: Towards evolving petri nets: a symmetric nets-based framework. IFAC-PapersOnLine 51(7), 480–485 (2018). https://doi.org/10.1016/j.ifacol.2018.06.343. 14th IFAC Workshop on Discrete Event Systems WODES 2018CrossRef

Capra, L., De Pierro, M., Franceschinis, G.: Computing structural properties of symmetric nets. In: Campos, J., Haverkort, B.R. (eds.) QEST 2015. LNCS, vol. 9259, pp. 125–140. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-22264-6_9CrossRef

Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S.: Stochastic well-formed coloured nets for symmetric modelling applications. IEEE Trans. Comput. 42(11), 1343–1360 (1993)CrossRef

Hoffmann, K., Ehrig, H., Mossakowski, T.: High-level nets with nets and rules as tokens. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol. 3536, pp. 268–288. Springer, Heidelberg (2005). https://doi.org/10.1007/11494744_16CrossRefMATH

10.

Jensen, K., Rozenberg, G. (eds.): High-level Petri Nets: Theory and Application. Springer, London (1991). https://doi.org/10.1007/978-3-642-84524-6CrossRefMATH

11.

Lakos, C.: Towards a reflective implementation of object petri nets. In: Proceedings of TOOLS Pacific, pp. 129–140 (1996)

12.

Lakos, C.: Object oriented modelling with object petri nets. In: Agha, G.A., De Cindio, F., Rozenberg, G. (eds.) Concurrent Object-Oriented Programming and Petri Nets. LNCS, vol. 2001, pp. 1–37. Springer, Heidelberg (2001). https://doi.org/10.1007/3-540-45397-0_1CrossRefMATH

13.

Reisig, W.: Petri Nets: An Introduction. Springer, New York (1985). https://doi.org/10.1007/978-3-642-69968-9CrossRefMATH

14.

Tigane, S., Kahloul, L., Benharzallah, S., Baarir, S., Bourekkache, S.: Reconfigurable GSPNs: a modeling formalism of evolvable discrete-event systems. Sci. Comput. Program, 102302 (2019). https://doi.org/10.1016/j.scico.2019.102302

15.

Valk, R.: Object petri nets. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) ACPN 2003. LNCS, vol. 3098, pp. 819–848. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-27755-2_23CrossRefMATH

16.

Weyns, D., Iftikhar, M.U., de la Iglesia, D.G., Ahmad, T.: A survey of formal methods in self-adaptive systems. In: Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering, C3S2E 2012, pp. 67–79. ACM, New York (2012). https://doi.org/10.1145/2347583.2347592

Titel: Emulating Self-adaptive Stochastic Petri Nets
verfasst von: Lorenzo Capra
Matteo Camilli
Verlag: Springer International Publishing
Buch: Computer Performance Engineering
Print ISBN: 978-3-030-44410-5

Electronic ISBN: 978-3-030-44411-2

Copyright-Jahr: 2020
DOI: https://doi.org/10.1007/978-3-030-44411-2_3

Neuer Inhalt

Bildnachweise

VDI-Icon, Profil Icon, inhalt2, Springer Professional Modul/© Springer Fachmedien Wiesbaden GmbH, Nachhaltigkeitsaward Key Visual/© Cometis AG/Global ESG Monitor | Daniel Rupp | Generiert mit KI, Search Icon, Banner Hanser, Beijing Auto Show 2024: Deutsche Hersteller wollen angreifen./© EKH-Pictures / Generated with AI / Stock.adobe.com, Buchstaben, die aus einem Megaphon kommen/© MicroStockHub/Getty Images/iStock, Digitale Lieferkette/© zapp2photo / stock.adobe.com, Zeitschrift Wissensmanagement Cover, PatentFit-Logo/© Springer Fachmedien Wiesbaden GmbH, Zukunftswerkstatt Sales Excellence 2024/© AndreyPopov / Getty Images / iStock, 2023_Antrieb/© supervisuell, ATZ-Webinar: Prototypenfreie Entwicklung durch Offline- und Driver-in-the-Loop-HiL-Tests /© (c) VI-grade

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"

Neuer Inhalt

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

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