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

  • Jan Martijn E. M. van der WerfEmail author
  • Lucas Steehouwer
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11522)


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.


Petri nets Coverability graph Education Intelligent tutoring 


  1. 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. 2.
    Anderson, J.R., Boyle, C.F., Reiser, B.J.: Intelligent tutoring systems. Science 228(4698), 456–462 (1985)CrossRefGoogle Scholar
  3. 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)CrossRefGoogle Scholar
  4. 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. 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. 6.
    Cormen, T.H., Leiserson, C.E., Rivest, R.L., Stein, C.: Introduction to Algorithms. MIT Press, Cambridge (2009)zbMATHGoogle Scholar
  7. 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. 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).
  9. 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. 10.
    Kapp, K.M.: The Gamification of Learning and Instruction: Game-based Methods and Strategies for Training and Education. Wiley (2012)Google Scholar
  11. 11.
    Karp, R.M., Miller, R.E.: Parallel program schemata. J. Comput. Syst. Sci. 3(2), 147–195 (1969)MathSciNetCrossRefGoogle Scholar
  12. 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. 13.
    Reichheld, F.F.: The one number you need to grow. Harvard Bus. Rev. 81(12), 46–55 (2003)Google Scholar
  14. 14.
    Sauro, J.: Does better usability increase customer loyalty? (2010). Accessed 05 July 2018
  15. 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). Scholar
  16. 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). Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  • Jan Martijn E. M. van der Werf
    • 1
    Email author
  • Lucas Steehouwer
    • 1
  1. 1.Department of Information and Computing ScienceUtrecht UniversityUtrechtThe Netherlands

Personalised recommendations