Skip to main content
SpringerLink
Log in

GreatTeach: A Tool for Teaching (Stochastic) Petri Nets

  • Conference paper
  • First Online:
Application and Theory of Petri Nets and Concurrency (PETRI NETS 2018)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 10877))

Abstract

GreatSPN is a collection of tools for modelling and analysis of systems using (stochastic) Petri nets. It features a modern Java-based graphical interface. But being technologically advanced does not mean that the tool learning curve is significantly simplified. In the tool the simple features that are needed for educational purpose are intermixed with more advanced features that require a deeper understanding of the formalisms and of the solvers. This paper presents GreatTeach, a streamlined and enriched version of GreatSPN meant for teaching resulting from our experience in teaching Petri nets to master students.

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

References

  1. Ajmone-Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. Wiley, Hoboken (1995)

    MATH  Google Scholar 

  2. Amparore, E.G.: Reengineering the editor of the GreatSPN framework. In: PNSE@ Petri Nets, pp. 153–170 (2015)

    Google Scholar 

  3. Amparore, E.G., Balbo, G., Beccuti, M., Donatelli, S., Franceschinis, G.: 30 years of GreatSPN. In: Fiondella, L., Puliafito, A. (eds.) Principles of Performance and Reliability Modeling and Evaluation. SSRE, pp. 227–254. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-30599-8_9

    Chapter  Google Scholar 

  4. Amparore, E.G., Beccuti, M., Donatelli, S.: (Stochastic) model checking in GreatSPN. In: Ciardo, G., Kindler, E. (eds.) PETRI NETS 2014. LNCS, vol. 8489, pp. 354–363. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-07734-5_19

    Chapter  Google Scholar 

  5. Amparore, E.G., Beccuti, M., Donatelli, S.: Gradient-based variable ordering of decision diagrams for systems with structural units. In: D’Souza, D., Narayan Kumar, K. (eds.) ATVA 2017. LNCS, vol. 10482, pp. 184–200. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-68167-2_13

    Chapter  Google Scholar 

  6. Behrmann, G., David, A., Larsen, K.G.: A tutorial on Uppaal. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol. 3185, pp. 200–236. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-30080-9_7

    Chapter  Google Scholar 

  7. Bernardi, S., Donatelli, S., Horváth, A.: Implementing compositionality for stochastic Petri nets. Softw. Tools Technol. Transf. J. 3(4), 417–430 (2001)

    MATH  Google Scholar 

  8. Cerone, A., Roggenbach, M., Schlingloff, H., Schneider, G., Shaikh, S.: Teaching formal methods for software engineering - ten principles. In: Informatica Didactica. University of Potsdam, Germany (2015)

    Google Scholar 

  9. Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S.: Stochastic well-formed colored nets and symmetric modeling applications. IEEE Trans. Comput. 42(11), 1343–1360 (1993)

    Article  Google Scholar 

  10. Cimatti, A., Clarke, E., Giunchiglia, F., Roveri, M.: NuSMV: a new symbolic model verifier. In: Halbwachs, N., Peled, D. (eds.) CAV 1999. LNCS, vol. 1633, pp. 495–499. Springer, Heidelberg (1999). https://doi.org/10.1007/3-540-48683-6_44

    Chapter  Google Scholar 

  11. Heiner, M., Herajy, M., Liu, F., Rohr, C., Schwarick, M.: Snoopy – a unifying Petri net tool. In: Haddad, S., Pomello, L. (eds.) PETRI NETS 2012. LNCS, vol. 7347, pp. 398–407. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-31131-4_22

    Chapter  Google Scholar 

  12. Heiner, M., Schwarick, M., Wegener, J.-T.: Charlie – an extensible Petri net analysis tool. In: Devillers, R., Valmari, A. (eds.) PETRI NETS 2015. LNCS, vol. 9115, pp. 200–211. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-19488-2_10

    Chapter  MATH  Google Scholar 

  13. Jensen, K., Kristensen, L.M.: Coloured Petri Nets: Modelling and Validation of Concurrent Systems. Springer, Heidelberg (2009). https://doi.org/10.1007/b95112

    Book  MATH  Google Scholar 

  14. Jensen, K., Kristensen, L.M., Wells, L.: Coloured Petri nets and CPN tools for modelling and validation of concurrent systems. Softw. Tools Technol. Trans. J. 9(3), 213–254 (2007)

    Article  Google Scholar 

  15. Mei, C., Zhang, X., Zhao, W., Periyasamy, K., Headington, M.: A tool for teaching Petri nets. J. Comput. Sci. Coll. 26(5), 181–188 (2011)

    Google Scholar 

  16. Schwarick, M., Heiner, M., Rohr, C.: MARCIE - model checking and reachability analysis done efficiently. In: International Conference on Quantitative Evaluation of Systems, pp. 91–100 (2011)

    Google Scholar 

  17. Thong, W.J., Ameedeen, M.A.: A survey of Petri net tools. In: Sulaiman, H.A., Othman, M.A., Othman, M.F.I., Rahim, Y.A., Pee, N.C. (eds.) Advanced Computer and Communication Engineering Technology. LNEE, vol. 315, pp. 537–551. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-07674-4_51

    Chapter  Google Scholar 

  18. University of Torino: the GreatSPN tool homepage. http://www.di.unito.it/~greatspn/index.html

  19. Vörös, A., Darvas, D., Molnár, V., Klenik, A., Hajdu, Á., Jámbor, A., Bartha, T., Majzik, I.: PetriDotNet 1.5: extensible Petri net editor and analyser for education and research. In: Kordon, F., Moldt, D. (eds.) PETRI NETS 2016. LNCS, vol. 9698, pp. 123–132. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-39086-4_9

    Chapter  Google Scholar 

  20. Zimmermann, A.: Modelling and performance evaluation with TimeNET 4.4. In: Bertrand, N., Bortolussi, L. (eds.) QEST 2017. LNCS, vol. 10503, pp. 300–303. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-66335-7_19

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Informatica, Università di Torino, Turin, Italy

    Elvio Gilberto Amparore & Susanna Donatelli

Authors
  1. Elvio Gilberto Amparore
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Susanna Donatelli
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding authors

Correspondence to Elvio Gilberto Amparore or Susanna Donatelli .

Editor information

Editors and Affiliations

  1. University of Newcastle, Newcastle upon Tyne, United Kingdom

    Victor Khomenko

  2. École Centrale de Nantes, Nantes Cedex 3, France

    Olivier H. Roux

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG, part of Springer Nature

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Amparore, E.G., Donatelli, S. (2018). GreatTeach: A Tool for Teaching (Stochastic) Petri Nets. In: Khomenko, V., Roux, O. (eds) Application and Theory of Petri Nets and Concurrency. PETRI NETS 2018. Lecture Notes in Computer Science(), vol 10877. Springer, Cham. https://doi.org/10.1007/978-3-319-91268-4_24

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-91268-4_24

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-91267-7

  • Online ISBN: 978-3-319-91268-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation