Petri Net Based Modelling of a Career Syllabus


  • Ruben Carvajal-Schiaffino Departamento de Matemí¡tica y Ciencia de la Computacion - Universidad de Santiago de Chile
  • Luis Firinguetti-Limone Departamento de Estadí­stica Universidad del Bí­o-Bí­o Av. Collao 1202 - Concepción, Chile


Decision support systems, system modelling, system verification, educational planning, Petri nets


A syllabus is a set of courses, their prerequisites and a set of rules defining
the continuance of a student in an academic program. The manual verification of the
possible contradictions between prerequisites and the set of rules is a difficult task
due to the large number of possible cases. In this article we present the different
stages in the verification of a syllabus, its modelling and analysis using Petri nets,
and suggested ways in which this may be used by the university administration in the
decision making process.


M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis. Modelling with Generalized Stochastic Petri Nets. Series in Parallel Computing. John Wiley & Sons. 1995.

W. Doherty. An Analysis of Multiple Factors Affecting Retention in Web-Based Community College Courses. The Internet and Higher Education 9 (2006) 245 - 255.

M. Ferraris, V. Midoro and G. Olimpo. Petri Nets as a Modelling Tool in the Development of CAL Software. Computers and Education, 8, 41-49. 1984

M. Jahangirian, T. Eldabi, A. Naseer, L. Stergioulas, T. Young. Simulation in Manufacturing and Business: A Review. European Journal of Operational Research, Volume 203, 2010, Pages 1-13.

D. B. Kim. The Effect of Loans on Students' Degree Attainment: Differences by Student and Institutional Characteristics. Harvard Educational Review, 77(1), 64-100.

B. A. Rajabi and S. P. Lee. Change Management in Business Process Modeling Based on Object Oriented Petri Net. International Journal of Human and Social Sciences 4:13 2009.

W. Reisig. Petri Nets. An introduction. EATCS Monographs on Theoretical Computer Science, Springer. 1986.

W. Reisig and G.Rozenberg, editors. Lectures on Petri Nets I: Basic Models. Advances in Petri Nets, LNCS 1491. Springer. 1998. S. Roch and P. H. Starke. INA: Integrate Net Analizer. Humboldt-Universitat zu Berlin. 1999.

K. Salimifard, M. Wright. Petri Net-Based Modelling of Workflow Systems: An Overview. European Journal of Operational Research, Volume 134, Issue 3, 1 November 2001, Pages 664-676.

R. Sebastiani, A. Tomasi and F. Giunchiglia. Model Checking Syllabi and Student Careers. Lecture Notes in Computer Science 2031. Springer. 2001.

M. Silva, E. Teruel, and J. M. Colom. newblock Linear Algebraic and Linear Programming Techniques for Analysis of Place/Transition Net Systems. In Reisig and Rozenberg, pages 308-309. 1998.

Stevenson University. Policies for Continuance and Progression in the Major. May 2011.

The College of William and Mary. Continuance Requirements for Fulltime Students. May 2011.

M. A. Titus. An Examination of the Influence of Institutional Context on Student Persistence at 4-year Colleges and Universities: A Multilevel Approach. Research in Higher Education, 45(7), 673-699. 2004.

M. A. Titus. Understanding College Degree Completion of Students with Low Socioeconomic Status: The Influence of the Institutional Financial Context. Research in Higher Education, 47(4), 371-398. 2006.

Universitat Pompeu Fabra. Regulation Governing the Progression System and the Continuance Rules for Undergraduate Courses. May 2011.

Wabash College. Continuance in College. May 2011.



Most read articles by the same author(s)

Obs.: This plugin requires at least one statistics/report plugin to be enabled. If your statistics plugins provide more than one metric then please also select a main metric on the admin's site settings page and/or on the journal manager's settings pages.