Skip to main content
SpringerLink
Log in

A Petri Net-Based Model of Self-adaptive Systems and Its (Semi-)Automated Support

  • Conference paper
  • First Online:
Book cover Trends and Innovations in Information Systems and Technologies (WorldCIST 2020)

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 1159))

Included in the following conference series:

  • 2140 Accesses

Abstract

Classical Petri Nets are not suitable for describing systems with an adaptable layout. A model based on Symmetric Nets (SN) has been recently introduced. It is composed of a SN emulating the behaviour of any base-level Place/Transition net (encoded as a marking), and an API for basic net-transformation primitives. In this paper, we discuss about the automation of the modelling process and the issues related to analysis complexity, proposing a more effective formalization of the base-level. The discussion is accompanied by a simple running example.

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 169.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.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

Notes

  1. 1.

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

  2. 2.

    Its implementation is 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.) Applications and theory of Petri Nets 2005, pp. 148–167. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  3. Camilli, M., Capra, L., Bellettini, C.: PNemu: an extensible modeling library for adaptable distributed systems. In: Donatelli, S., Haar, S. (eds.) Application and Theory of Petri Nets and Concurrency, pp. 80–90. Springer International Publishing, Cham (2019)

    Chapter  Google Scholar 

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

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

  6. Capra, L., De Pierro, M., Franceschinis, G.: Computing structural properties of symmetric nets. In: Campos, J., Haverkort, B.R. (eds.) Quantitative Evaluation of Systems, pp. 125–140. Springer International Publishing, Cham (2015)

    Chapter  Google Scholar 

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

  8. Hoffmann, K., Ehrig, H., Mossakowski, T.: High-level nets with nets and rules as tokens. In: Proceedings of the 26th International Conference on Applications and Theory of Petri Nets, ICATPN 2005, pp. 268–288, Springer-Verlag, Heidelberg (2005)

    Google Scholar 

  9. Jensen, K., Rozenberg, G. (eds.): High-level Petri Nets: Theory and Application. Springer-Verlag, London (1991)

    MATH  Google Scholar 

  10. Lakos, C.: Object Oriented Modelling with Object Petri Net, pp. 1–37. Springer, Heidelberg (2001). https://doi.org/10.1007/3-540-45397-0_1

    Book  MATH  Google Scholar 

  11. Reisig, W.: Petri Nets: An Introduction. Springer-Verlag, New York (1985)

    Book  Google Scholar 

  12. Valk, R.: Object Petri Nets. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets. LNCS, vol. 3098, pp. 819–848. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  13. 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. Dipartimento di Informatica, Università degli Studi di Milano, Milan, Italy

    Lorenzo Capra

Authors
  1. Lorenzo Capra
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Lorenzo Capra .

Editor information

Editors and Affiliations

  1. Departamento de Engenharia Informática, Universidade de Coimbra, Coimbra, Portugal

    Álvaro Rocha

  2. College of Engineering, The Ohio State University, Columbus, OH, USA

    Hojjat Adeli

  3. FEUP, Universidade do Porto, Porto, Portugal

    Luís Paulo Reis

  4. DIMES, Università della Calabria, Arcavacata, Italy

    Sandra Costanzo

  5. Faculty of Electrical Engineering, University of Montenegro, Podgorica, Montenegro

    Irena Orovic

  6. Universidade Portucalense, Porto, Portugal

    Fernando Moreira

Rights and permissions

Reprints and permissions

Copyright information

© 2020 The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Capra, L. (2020). A Petri Net-Based Model of Self-adaptive Systems and Its (Semi-)Automated Support. In: Rocha, Á., Adeli, H., Reis, L., Costanzo, S., Orovic, I., Moreira, F. (eds) Trends and Innovations in Information Systems and Technologies. WorldCIST 2020. Advances in Intelligent Systems and Computing, vol 1159. Springer, Cham. https://doi.org/10.1007/978-3-030-45688-7_70

Download citation

Publish with us

Policies and ethics

Search

Navigation