Petri Net Based Modelling of a Career Syllabus

Ruben Carvajal-Schiaffino, Luis Firinguetti-Limone


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.


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

Full Text:



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.


Copyright (c) 2017 Ruben Carvajal-Schiaffino, Luis Firinguetti-Limone

Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.

CC-BY-NC  License for Website User

Articles published in IJCCC user license are protected by copyright.

Users can access, download, copy, translate the IJCCC articles for non-commercial purposes provided that users, but cannot redistribute, display or adapt:

  • Cite the article using an appropriate bibliographic citation: author(s), article title, journal, volume, issue, page numbers, year of publication, DOI, and the link to the definitive published version on IJCCC website;
  • Maintain the integrity of the IJCCC article;
  • Retain the copyright notices and links to these terms and conditions so it is clear to other users what can and what cannot be done with the  article;
  • Ensure that, for any content in the IJCCC article that is identified as belonging to a third party, any re-use complies with the copyright policies of that third party;
  • Any translations must prominently display the statement: "This is an unofficial translation of an article that appeared in IJCCC. Agora University  has not endorsed this translation."

This is a non commercial license where the use of published articles for commercial purposes is forbiden. 

Commercial purposes include: 

  • Copying or downloading IJCCC articles, or linking to such postings, for further redistribution, sale or licensing, for a fee;
  • Copying, downloading or posting by a site or service that incorporates advertising with such content;
  • The inclusion or incorporation of article content in other works or services (other than normal quotations with an appropriate citation) that is then available for sale or licensing, for a fee;
  • Use of IJCCC articles or article content (other than normal quotations with appropriate citation) by for-profit organizations for promotional purposes, whether for a fee or otherwise;
  • Use for the purposes of monetary reward by means of sale, resale, license, loan, transfer or other form of commercial exploitation;

    The licensor cannot revoke these freedoms as long as you follow the license terms.

[End of CC-BY-NC  License for Website User]

INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL (IJCCC), With Emphasis on the Integration of Three Technologies (C & C & C),  ISSN 1841-9836.

IJCCC was founded in 2006,  at Agora University, by  Ioan DZITAC (Editor-in-Chief),  Florin Gheorghe FILIP (Editor-in-Chief), and  Misu-Jan MANOLESCU (Managing Editor).

Ethics: This journal is a member of, and subscribes to the principles of, the Committee on Publication Ethics (COPE).

Ioan  DZITAC (Editor-in-Chief) at COPE European Seminar, Bruxelles, 2015:

IJCCC is covered/indexed/abstracted in Science Citation Index Expanded (since vol.1(S),  2006); JCR2018: IF=1.585..

IJCCC is indexed in Scopus from 2008 (CiteScore2018 = 1.56):

Nomination by Elsevier for Journal Excellence Award Romania 2015 (SNIP2014 = 1.029): Elsevier/ Scopus

IJCCC was nominated by Elsevier for Journal Excellence Award - "Scopus Awards Romania 2015" (SNIP2014 = 1.029).

IJCCC is in Top 3 of 157 Romanian journals indexed by Scopus (in all fields) and No.1 in Computer Science field by Elsevier/ Scopus.


 Impact Factor in JCR2018 (Clarivate Analytics/SCI Expanded/ISI Web of Science): IF=1.585 (Q3). Scopus: CiteScore2018=1.56 (Q2);

SCImago Journal & Country Rank

Editors-in-Chief: Ioan DZITAC & Florin Gheorghe FILIP.