Skip to main content
SpringerLink
Log in

Emulating Self-adaptive Stochastic Petri Nets

  • Conference paper
  • First Online:
Computer Performance Engineering (EPEW 2019)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 12039))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

Notes

  1. 1.

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

  2. 2.

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

  3. 3.

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

References

  1. 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.1530876

    Article  Google Scholar 

  2. 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_10

    Chapter  MATH  Google Scholar 

  3. 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

  4. 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_5

    Chapter  Google Scholar 

  5. 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

  6. 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 2018

    Article  Google Scholar 

  7. 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_9

    Chapter  Google Scholar 

  8. 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)

    Article  Google Scholar 

  9. 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_16

    Chapter  MATH  Google Scholar 

  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-6

    Book  MATH  Google Scholar 

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

    Google Scholar 

  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_1

    Chapter  MATH  Google Scholar 

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

    Book  MATH  Google Scholar 

  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_23

    Chapter  MATH  Google Scholar 

  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

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Università degli Studi di Milano, Milan, Italy

    Lorenzo Capra

  2. Faculty of Computer Science, Free University of Bozen-Bolzano, Bolzano, Italy

    Matteo Camilli

Authors
  1. Lorenzo Capra
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Matteo Camilli
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Matteo Camilli .

Editor information

Editors and Affiliations

  1. Politecnico di Milano, Milano, Italy

    Marco Gribaudo

  2. Università degli Studi della Campania “L. Vanvitelli”, Caserta, Italy

    Mauro Iacono

  3. University of Tsukuba, Tsukuba, Japan

    Tuan Phung-Duc

  4. Federal Research Center “Computer Science and Control” of the Russian Academy of Sciences, Moscow, Russia

    Rostislav Razumchik

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Capra, L., Camilli, M. (2020). Emulating Self-adaptive Stochastic Petri Nets. In: Gribaudo, M., Iacono, M., Phung-Duc, T., Razumchik, R. (eds) Computer Performance Engineering. EPEW 2019. Lecture Notes in Computer Science(), vol 12039. Springer, Cham. https://doi.org/10.1007/978-3-030-44411-2_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-44411-2_3

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-44410-5

  • Online ISBN: 978-3-030-44411-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation