Petri Net Based Modelling of a Career Syllabus
Keywords: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. http://dx.doi.org/10.1016/j.iheduc.2006.08.004
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 http://dx.doi.org/10.1016/0360-1315(84)90051-4
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. http://dx.doi.org/10.1016/j.ejor.2009.06.004
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. http://dx.doi.org/10.1016/S0377-2217(00)00292-7
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. www.stevenson.edu/academics/nursing/policies.asp. May 2011.
The College of William and Mary. Continuance Requirements for Fulltime Students. www.wm.edu/offices/deanofstudents/policies/academic/contfulltime/index.php. 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. http://dx.doi.org/10.1023/B:RIHE.0000044227.17161.fa
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. http://dx.doi.org/10.1007/s11162-005-9000-5
Universitat Pompeu Fabra. Regulation Governing the Progression System and the Continuance Rules for Undergraduate Courses. www.upf.edu/universitat/en/normativa/upf/normativa/grau/RD1393/permanencia/. May 2011.
Wabash College. Continuance in College. www.wabash.edu/academics/bulletin.cfm?site_code_id=967. May 2011.
ONLINE OPEN ACCES: Acces to full text of each article and each issue are allowed for free in respect of Attribution-NonCommercial 4.0 International (CC BY-NC 4.0.
You are free to:
-Share: copy and redistribute the material in any medium or format;
-Adapt: remix, transform, and build upon the material.
The licensor cannot revoke these freedoms as long as you follow the license terms.
DISCLAIMER: The author(s) of each article appearing in International Journal of Computers Communications & Control is/are solely responsible for the content thereof; the publication of an article shall not constitute or be deemed to constitute any representation by the Editors or Agora University Press that the data presented therein are original, correct or sufficient to support the conclusions reached or that the experiment design or methodology is adequate.