Skip to main content
SpringerLink
Log in

CoRA: An Online Intelligent Tutoring System to Practice Coverability Graph Construction

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

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

Abstract

While teaching Petri nets, many students face difficulties in constructing coverability graphs from Petri nets. Providing students with individual feedback becomes infeasible in large classes.

In this paper, we present CoRA: the Coverability and Reachability graph Assistant. It is an online intelligent tutoring system designed to support users in constructing a coverability graph for a Petri net. Its main goal is to provide additional tutorial support to students, so they can practice on their own and ask questions to staff when required. CoRA is capable of giving personalized feedback; whenever a user submits a solution CoRA provides targeted feedback stating what is correct in what is not. CoRA’s feedback is designed to be both guiding and informational; a user should be able to understand what went wrong and how they can improve their graph.

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

Notes

  1. 1.

    We tested the tool in Google Chrome and Mozilla Firefox.

  2. 2.

    https://www.slimframework.com.

  3. 3.

    https://github.com/ArchitectureMining/CoRA.

References

  1. van der Aalst, W.M.P., Stahl, C.: Modeling Business Processes–A Petri Net-Oriented Approach. Cooperative Information Systems Series. MIT Press (2011)

    Google Scholar 

  2. Anderson, J.R., Boyle, C.F., Reiser, B.J.: Intelligent tutoring systems. Science 228(4698), 456–462 (1985)

    Article  Google Scholar 

  3. Bangor, A., Kortum, P.T., Miller, J.T.: An empirical evaluation of the system usability scale. Int. J. Hum.-Comput. Interact. 24(6), 574–594 (2008)

    Article  Google Scholar 

  4. Brooke, J., et al.: SUS-a quick and dirty usability scale. In: Usability Evaluation in Industry, vol. 189, no. 194, pp. 4–7 (1996)

    Google Scholar 

  5. Corbett, A.T., Anderson, J.R.: Lisp intelligent tutoring system: research in skill acquisition. In: Computer-Assisted Instruction and Intelligent Tutoring Systems: Shared Goals and Complementary Approaches, pp. 73–109 (1992)

    Google Scholar 

  6. Cormen, T.H., Leiserson, C.E., Rivest, R.L., Stein, C.: Introduction to Algorithms. MIT Press, Cambridge (2009)

    MATH  Google Scholar 

  7. Fielding, R.T., Taylor, R.N.: Architectural styles and the design of network-based software architectures, vol. 7. University of California, Irvine Doctoral dissertation (2000)

    Google Scholar 

  8. Freytag, T., Sänger, M.: WoPeD - an educational tool for workflow nets. In: Proceedings of the BPM Demo Sessions, CEUR Workshop Proceedings, vol. 1295, pp. 31–35 (2014). CEUR-WS.org

  9. van Hee, K.M., Oanea, O., Post, R.D.J., Somers, L.J., van der Werf, J.M.E.M.: Yasper: a tool for workflow modeling and analysis. In: ACSD, pp. 279–282 (2006)

    Google Scholar 

  10. Kapp, K.M.: The Gamification of Learning and Instruction: Game-based Methods and Strategies for Training and Education. Wiley (2012)

    Google Scholar 

  11. Karp, R.M., Miller, R.E.: Parallel program schemata. J. Comput. Syst. Sci. 3(2), 147–195 (1969)

    Article  MathSciNet  Google Scholar 

  12. Passier, H.J.M.: Aspects of Feedback in Intelligent Tutoring Systems for Modeling Education. PhD thesis, Open University, The Netherlands (2013)

    Google Scholar 

  13. Reichheld, F.F.: The one number you need to grow. Harvard Bus. Rev. 81(12), 46–55 (2003)

    Google Scholar 

  14. Sauro, J.: Does better usability increase customer loyalty? (2010). https://measuringu.com/usability-loyalty/. Accessed 05 July 2018

  15. Schmidt, K.: LoLA a low level analyser. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol. 1825, pp. 465–474. Springer, Heidelberg (2000). https://doi.org/10.1007/3-540-44988-4_27

    Chapter  Google Scholar 

  16. Verbeek, H.M.W., Buijs, J.C.A.M., van Dongen, B.F., van der Aalst, W.M.P.: XES, XESame, and ProM 6. In: Soffer, P., Proper, E. (eds.) CAiSE Forum 2010. LNBIP, vol. 72, pp. 60–75. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-17722-4_5

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Information and Computing Science, Utrecht University, Utrecht, The Netherlands

    Jan Martijn E. M. van der Werf & Lucas Steehouwer

Authors
  1. Jan Martijn E. M. van der Werf
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Lucas Steehouwer
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jan Martijn E. M. van der Werf .

Editor information

Editors and Affiliations

  1. Università di Torino, Turin, Italy

    Susanna Donatelli

  2. Inria and LSV, CNRS & ENS Paris-Saclay, Cachan Cedex, France

    Stefan Haar

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

van der Werf, J.M.E.M., Steehouwer, L. (2019). CoRA: An Online Intelligent Tutoring System to Practice Coverability Graph Construction. In: Donatelli, S., Haar, S. (eds) Application and Theory of Petri Nets and Concurrency. PETRI NETS 2019. Lecture Notes in Computer Science(), vol 11522. Springer, Cham. https://doi.org/10.1007/978-3-030-21571-2_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-21571-2_6

  • Published:

  • Publisher Name: Springer, Cham

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

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

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation