=Paper= {{Paper |id=Vol-3083/paper277 |storemode=property |title=A Petri net-based simulation of synchronized curriculum for IT-specialists |pdfUrl=https://ceur-ws.org/Vol-3083/paper277.pdf |volume=Vol-3083 |authors=Lyudmyla I. Bilousova,Liudmyla E. Gryzun |dblpUrl=https://dblp.org/rec/conf/icteri/BilousovaG21 }} ==A Petri net-based simulation of synchronized curriculum for IT-specialists== https://ceur-ws.org/Vol-3083/paper277.pdf
A Petri net-based simulation of synchronized
curriculum for IT-specialists’ training
Lyudmyla I. Bilousova1 , Liudmyla E. Gryzun2
1
    Independent researcher, Professor, Kharkiv, Ukraine
2
    Simon Kuznets Kharkiv National University of Economics, 9A Nauky Ave., Kharkiv, Ukraine


                                         Abstract
                                         The problems of synchronized curriculum shaping are discussed in the paper in the context of the
                                         challenges of contemporary IT specialists’ training in terms of permanent evolution and rapid expansion
                                         of computing. The authors’ technique of the curriculum simulation based on Petri net applying is pre-
                                         sented. The theoretical framework which allowed us to elaborate the technique includes some didactical
                                         fundamentals of curriculum design and academic disciplines structuring as well as the theoretical basics
                                         of Petri nets in terms of their significant facilities for different processes synchronization. The technique
                                         of academic disciplines structuring based on frame model of knowledge representation is covered as a
                                         chain of stages which results in the net of disciplines modules (frames) including the proper learning
                                         elements along with preserving and spreading links between them. In order to solve the problem of
                                         synchronization of the learning elements mastering throughout the academic disciplines with regard of
                                         the established links in the frames, it is offered the practically-driven approach to curriculum modeling
                                         based on Petri nets simulation. The different types of the precedence relations for the learning elements
                                         (inputs and outputs of the frames) were distinguished. Using these precedence relations, we managed
                                         to simulate through Petri nets a learning element itself and the process of its mastering. Using the
                                         operations of Petri nets modifications and learning elements’ connections of different types, we could
                                         obtain a model of a curriculum discipline module and finally – a curriculum discipline model. Built
                                         Petri nets models represent all the evolution of the learning elements mastering by students in the
                                         curriculum courses. Synchronization of their mastering is guaranteed by the rules of Petri net execution
                                         and modifications. The peculiarities of the offered technique are analyzed. The benefits in terms of
                                         applying such a simulation to the building of synchronized curriculum for IT-specialists training are
                                         formulated. The prospects of the research are outlined in the lines of using the obtained results for
                                         special software development.

                                         Keywords
                                         IT-specialists’ training, synchronized curriculum, Petri net-based simulation, curriculum simulation




1. Introduction
Rapid development of IT industries and their penetration in all branches of social life as
well as the modern shifts in the demand for computing throughout a global economy cause

CoSinE 2021: 9th Illia O. Teplytskyi Workshop on Computer Simulation in Education,
co-located with the 17th International Conference on ICT in Education, Research, and Industrial Applications:
Integration, Harmonization, and Knowledge Transfer (ICTERI 2021), October 1, 2021, Kherson, Ukraine
" lib215@gmail.com (L. I. Bilousova); Lgr2007@ukr.net (L. E. Gryzun)
~ http://web.archive.org/web/20201027120942/http://hnpu.edu.ua/uk/bilousova-lyudmyla-ivanivna
(L. I. Bilousova); http://www.is.ksue.edu.ua/?q=node/295 (L. E. Gryzun)
 0000-0002-2364-1885 (L. I. Bilousova); 0000-0002-5274-5624 (L. E. Gryzun)
                                       © 2022 Copyright for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).
    CEUR
    Workshop
    Proceedings
                  http://ceur-ws.org
                  ISSN 1613-0073
                                       CEUR Workshop Proceedings (CEUR-WS.org)



                                                                                                          16
growing requirements to potential IT-specialists’ training. Consequently, this needs changes in
computing education and demands innovative approaches to university curriculum building for
training high level professionals in computing sphere.
   In the international guidelines shaping the modern paradigms of global IT education, it is
emphasized the transformation of computing which nowadays is not just a profession or a
single knowledge domain [1, 2, 3, 4, 5, 6]. According to the current state of IT education covered
in the latest Computing Curricula Series Report [5, 6], we can conclude that computing area (as
a result of rapid evolution) is not an isolated domain, but rather a family of knowledge domains
which embraces a set of fundamental and applied study areas. They go on their developing
that leads to emerging of new study areas which represent intersection of fundamental science,
applied branches of science and traditional computer disciplines.
   In particular, it is mentioned that during recent decades the essential changes in IT industry
have happened that led to the important changes in the disciplines [1, 2, 3, 4, 5, 6]:
(1) Computer science has evolved into a more developed academic subject;
(2) Computer engineering has raised from electrical engineering;
(3) Software engineering as a discipline has emerged based on Computer science and Computer
    engineering;
(4) Information systems has expanded throughout economic and organizational processes;
(5) Information technology has appeared as a new discipline that encouraged building comput-
    ing infrastructures and others.
   The study areas continued to evolve, at the same time, increasing the range of study opportu-
nities for pre-service IT-specialists and educational establishments. Additionally, many jobs
emerged which concentrated on software use rather than on its development that accelerated
the study areas and disciplines maturation.
   It is also emphasized that in terms of globalization processes and permanent changes in
computing, building of worldwide curricula is getting really urgent. Its development, on the
one hand, has expanded the scope of the traditional computing disciplines. On the other hand,
it raises the task of preserving the natural links between the disciplines, integrating of the
newly-appeared disciplines into the existing curriculum, synchronization of their mastering.
   Thus, it seems to be necessary not only to develop a proper approach to university curriculum
building for potential computing specialists, but also to elaborate practically-driven means for
its efficient modeling.
   The aim of the paper is to represent authors’ Petri nets-based approach to the building of
synchronized curriculum for IT-specialists training.


2. Theoretical framework
Developing the approach to the simulation of synchronized curriculum, we addressed to the
didactical fundamentals of curriculum design and academic disciplines structuring as well
as the theoretical basics of Petri nets which have significant facilities for different processes
synchronization.
   According to a number of studies, in the process of curriculum design, one of the essential
steps is made by the modular structuring of the disciplines which at the same time have



                                               17
to reflect the content of proper scientific branches. The main challenge here is seen by the
researchers in the proper shaping disciplines from modules, which would allow to keep existing
links between the portions of knowledge (learning elements). It is pointed out, that building
modular structure of disciplines without saving the links and desynchronized mastering of
knowledge (skills) will cause the set of negative consequences and educational drawbacks (such
as destroying the logic and wholeness of the accepting of the set of curriculum disciplines,
shaping uncoordinated system of students’ knowledge, inability to use them flexibly in related
areas, and other [7, 8, 9, 10]. It is also emphasized in the studies (in particular, [6, 7, 8, 11, 12])
that nowadays it is urgent to find out the ways to build coordinated university curriculum
in order to overcome the exposed problems, to cultivate interdisciplinary understanding of
knowledge nature, to focus pre-service specialists on holistic mastering of learning content and
forming their compound skills.
   There are some special challenges in the sphere of IT university education and, subsequently,
in curriculum building for IT-specialists’ training (partially highlighted above). Among the
principles of building global computing curriculum followed by the [6], it is essential to mention
the set of important pillars which may become the guidelines for curriculum building in national
university education:
(1) it has to preserve the concept of computing throughout the world and in time, as well
    as to support existing, emerging and future computing disciplines both for the today and
    potential students;
(2) it has to mind future trends and achievements from industry, research, and the entire
    spectrum of society;
(3) it has to be flexible to get global enduring acceptance and be adaptable within multiple
    educational contexts.
   Thus, trying to overcome the problems of disconnection between the curriculum disciplines,
taking into consideration the main pillars of the building curriculum for IT-specialists training,
and meeting the requirements of creation of holistic system of students’ knowledge and skills,
the authors has developed and implemented the technique of the module disciplines structuring
based on the knowledge penetration. The said technique (that was covered in details in our
earlier papers [12, 13]) can be represented in brief as follows.
   This technique was elaborated by the authors basing on the concepts of the multilevel
approach to the formation of learning content in the correspondence with different levels of
knowledge generalization minding its AI sense [13]. In particular, there were applied such
models of knowledge representation as semantic networks and frame-based models due to their
relevant facilities to spread determined connections between knowledge units [14, 15].
   Thus, the said technique of the curriculum building based on the knowledge penetration,
embraces some stages matching the levels of the educational content building (which, in turn,
match the levels of knowledge generalization).
   The first stage of curriculum building corresponds to the so called “Super-Subject” level where
the content is represented as a network of the concentrated units of knowledge (KPs shown
in the figure 1). These units are preliminary defined basing on the analysis of the system of
professional functions of the specialists, their job scope, current requirements to their expertise,




                                                  18
typical vocational tasks etc. Thus, these KPs include real elements the subject domain which
are to be mastered by per-service specialists in the process of their training.




Figure 1: Grouping LEs of a subject domain around proper KPs of the Super-Subject level.


   On the subsequent stages of the curriculum building, the content of discipline modules is
concentrated around the KPs of the Super-Subject level.
   At the next stage of the curriculum building (Subject level and the level of learning material) it
is provided the deep analysis of the subject domain regarding its double essence: any curriculum
subject is both a part of the educational content and the reflection of a scientific branch. The
result of such an analysis (usually made with software like Trope, Text Analist etc) is the system
of the interconnected knowledge portions (Learning Elements, or LEs) that are grouped around
proper KPs of the Super-Subject level (figure 1).
   Then typical procedures for frame-based model of knowledge representation are implemented
[14]. In particular, the frames-prototypes are built and filled in with the revealed LEs minding
the links, determined at the previous stage. The links between LEs are able to be spread around
other frames due to embedded facilities of frame based model. Applying similar procedures
to all the curriculum subjects, we obtain the coordinated system of the disciplines which is
sensitive to the changes happening on the highest level of education content and at the same
time provide students with holistic system of knowledge and skills.
   Schematically, the result of the curriculum building may be depicted as a diagram (figure 2)
where each frame represents a curriculum subject with nested frames (modules) and connections
between revealed LEs grouped around the KPs. Thus, the curriculum can be simulated as a net
of modules modeled by the system of frames involving the LEs.
   It is important to emphasize that the presented authors’ technique of university curriculum



                                                 19
Figure 2: The result of the curriculum building where each frame represents a curriculum subject with
nested frames (modules).


building which makes the theoretical and practical framework of our current research was based
on the revealed mechanisms of knowledge integration in scientific branches and in curriculum
disciplines and allows to trig the integration mechanisms realization. The technique of the
disciplines structuring and coherent curriculum shaping was implemented and verified with
the help of special expertise.
   However, its analysis made us improve some of its steps. In particular, in the process of real
curriculum building it became clear that it is necessary to elaborate the issue of the grouping
learning elements into the modules. The problem is that the links between the LEs are reserved
and spread thanks to the frames facilities. At the same time, it would be beneficial to take into
account also the sequence and order of their learning within the modules and disciplines, and
to make their mastering not only holistic, but also synchronized.
   In this context it is relevant to use the simulation advantages of Petri nets apparatus as for
the processes synchronization. Thus, it is necessary to cover in brief basics of Petri nets theory
as a framework for our approach to curriculum synchronization.
   According to Murata [16], Barros and Gomes [17], Petri nets make a simulation formalism
with a graphical visualization and a determined syntax and semantics.
   According to Murata [16], a Petri is defined as a two-partite oriented graph N=⟨𝑃, 𝑇, 𝑅⟩,
where P={𝑃 𝑖} is a set of graph vertices which are places and T={𝑇 𝑖} is a set of vertices which
are transitions. R component determines a relationship between the vertices corresponding to
the arcs.
   In a graphical representation of a Petri net, places (P) are indicated with circles, whereas
transitions (T) are indicated with bars. According to the rules of Petri nets theory, vertices
of the same type cannot be connected. In terms of real processes simulation, places usually



                                                 20
simulate various states (conditions) of the process, whereas the transitions imitate the events
which happen within it.
   The places can accept tokens which can move around the net via transitions. Disposition of
tokens in places is determined by the marking set M which assigns an integer number to each
place: M=⟨M(𝑝1 ), ..., M(𝑝𝑖 )⟩, where i is a number of places of the net, and M(𝑝𝑖 ) is the number of
tokens in the place 𝑝𝑖 . Thus, the amount of tokens and their disposition around the net control
the net execution [16].
   Various markings of the Petri net characterize the states of the corresponding dynamic system
(process), and the dynamics of state changes is simulated by the movement of the tokens around
places. Net marking may be changed as its transitions are triggered. When a transition is
triggered, one token is deleted from each input place and is added to each output place.
   The main facilities of Petri nets covered in a number of studies [16, 18], testify their advantages
to be effectively used for modeling of parallel and consequent processes.
   In the context of educational processes simulation, we would like to emphasize some essential
Petri nets facilities which were used by the researchers in their works. In particular, the Petri
nets were applied for courses structuring in e-learning platforms which allowed to build optimal
learning paths for students [19, 20].
   In addition, there were done the attempts to apply Petri nets simulation to synchronization
in automatic measurement systems [18]; to model students’ learning processes in e-learning
[21, 22] etc.
   The techniques used in said research also made the theoretical framework of our Petri
nets-based approach to the modeling of synchronized curriculum.


3. Petri nets-based approach to the building of synchronized
   curriculum
Basing on the covered theoretical framework, let us focus on key issues, starting with the
representation of the frames-based curriculum structure and its Petri nets-based modeling, and
ending with the characterization of obtained model of curriculum.
   In our approach, the disciplines are composed by the frames uniting the LEs and represented
at the charts that specify the precedence between the LEs. As it is shown in figure 2 above, any
frame has inputs and outputs. Inputs can be interpreted as the LEs necessary for the student
to master in order to be able to learn the LEs of the frame. In similar way the outputs can be
interpreted regarding the other frames.
   We can distinguish different types of the precedence relations for the inputs:

    • 1 LE to 1 LE relation: the only requirement of the LE’s learning is the accomplishment of
      one previous LE’s learning (within the frame or between the frames);
    • 1 LE of K LEs of frame N to 1 LE of different frame M relation: a LE of the frame M has as
      requirement the accomplishment of learning of one of K LEs of previous frame N (OR
      precedence relation);
    • The whole set of K LEs to 1: a LE of the frame M has as requirement the accomplishment
      of learning of the set of K LEs of previous frame N (AND precedence relation).



                                                 21
  For the outputs, it is possible to set these kinds of relations:

    • 1 LE to 1 LE relation: the LE is requirement to learning only one of the LE’s learning
      (within the frame or between the frames);
    • 1 LE to K LEs relation: the LE’s learning is precedent to a set of K LE’s learning.

   Using these precedence relations, we can simulate LEs, frames (composed by the LEs) and
curriculum disciplines (composed by the frames) through Petri nets.
   Each LE can be represented with a common Petri net, and can be considered as the basic
component to construct the discipline model. Petri net which simulates a LE mastering by the
student is given in the figure 3.




Figure 3: Petri net which simulates a LE mastering by the student.


  The places P1–P4 of the Petri net (figure 3) represent here the states of LEs as for their
readiness to be learnt by students due to their precedence relations:

    • the place P1 represents the state that LE is ready (available) to be mastered by a student,
      according to its precedence relations;
    • the place P2 represents the state while the student is mastering of the LE;
    • the place P3 represents the accomplishment of the LE mastering;
    • the place P4 represents the state when the LE is unavailable student not being able to
      start the module.



                                                22
   The transitions T1–T8 (figure 3) simulate the events of start of LE’s mastering; the process of
its learning, regarding the academic time and its availability due to its precedence relations;
and accomplishing the LE’s mastering.
   There is always the only token in the net, which means that only one of the LEs states is true,
so only one of the places can be marked at a time (in the situation shown in figure 3, it is in P4).
   At the next step of modeling, such Petri nets which simulate a LE mastering were used to
create a frame (course module) model. It was composed by a set of LEs’ models connected,
depending on their precedence relations determined above. This models (Petri nets) composition
was done by merging transitions T1 (LE is available to learn) of the dependent LE and T8 (LE is
ready to be continued) of the previous LE’s model.
   Figure 4, a – c demonstrates three situations of adding the LEs models to compose a frame
(module) with regard to the said precedence relations:

    • figure 4, a illustrates a 1 to 1 precedence relations where the fusion of the transition T1
      of the previous LE with the transition T8 of the next LE is expected;
    • figure 4, b presents a K to 1 precedence (AND precedence relation) where all the transitions
      T8 of all previous modules and the transition T1 of the next LE will be merged;
    • figure 4, c demonstrates a 1 of K to 1 precedence (OR precedence relation) where each
      transition T8 of each previous LE will be merged with the transition T1 of the next LE.

    Using the operations of Petri nets modifications (in particular, their fusion) defined in [17, 23]
and LEs connections of different types (depicted above), we could obtain a model of a curriculum
discipline module and finally – a curriculum discipline model.
    These Petri nets models represent all the evolution of the LEs mastering by students in the
curriculum courses. It is essential to note that output transitions of each LE’s model can trig the
subsequent LE’s model only if the previous (in terms of precedence relation) one is accomplished.
It is guaranteed by the rules of Petri net execution and modifications.
    We would like to remind here that in our technique of curriculum building (depicted in
figure 2) each discipline is represented by a frame with the nested other frames, which simulate
the disciplines modules involving the LEs along with their connections.
    Thus, summarizing our approaches to the university courses modeling based on the frames
properties and Petri nets facilities, we would like to underline the following benefits in terms
of applying such a simulation to the building of synchronized curriculum for IT-specialists
training:
   1. The built Petri nets allow to model the process of the LEs mastering by students in the
      frames (discipline modules) and between them.
   2. Petri nets facilities provide grouping LEs into the frames (modules) taking into account
      precedence of their learning.
   3. Facilities of frame-based model of knowledge representation provide spreading the set
      links between the LEs within the module and between the modules of different curriculum
      disciplines.

  Thus, combining the applied properties of Petri nets modeling and AI models of knowledge
representation allow to obtain both holistic and synchronized university curriculum.



                                                 23
Figure 4: LEs connections, according to different types of precedence relations.


   We would like to emphasize special importance of such modeling of curriculum exactly for
pre-service IT-specialists’ training. The built and realized model allows to shape the family of
disciplines which are sensitive to the rapid changes in IT industry with immediate spreading of
renewed requirements to the specialists in these sphere throughout all of the modules and with
simultaneous preserving of the proper links. It is also provided the opportunity to mind the
disciplines evolution and appearing new ones with their including into the flexible curriculum
excluding the unnecessary repetition and academic time saving. The obtained curriculum with
our simulation is flexible to account both global acceptance and national educational contexts.
Thus, elaborated Petri nets-based mean for the curriculum simulation matches main guidelines
for building contemporary computing curriculum.
   Such an approach to the curriculum modeling can be used in the software for automatic
creation of a holistic and synchronized curriculum, which makes prospects of our research.
Such a software will allow:
(1) to detect which proper LE and where has to be mastered;
(2) to trace the LEs which have been mastered and will be necessary for mastering other set of
    LEs;
(3) to build individual study plan for students etc.



                                                  24
4. Conclusions
The problems of synchronized curriculum shaping are discussed in the paper in the context of
the challenges of contemporary IT specialists’ training in terms of permanent evolution and
rapid expansion of computing.
   The authors’ technique of the curriculum simulation based on Petri net applying is presented.
   The theoretical framework which allowed us to elaborate the technique includes some
didactical fundamentals of curriculum design and academic disciplines structuring as well as
the theoretical basics of Petri nets in terms of their significant facilities for different processes
synchronization. The technique of academic disciplines structuring based on frame model of
knowledge representation is covered as a chain of stages which results in the net of disciplines
modules (frames) including the proper learning elements along with preserving and spreading
links between them.
   In order to solve the problem of synchronization of the learning elements mastering through-
out the academic disciplines with regard of the established links in the frames, it is offered the
practically-driven approach to curriculum modeling based on Petri nets simulation.
   The different types of the precedence relations for the learning elements (inputs and outputs
of the frames) were distinguished. Using these precedence relations, we managed to simulate
through Petri nets a learning element itself and the process of its mastering. Using the operations
of Petri nets modifications and learning elements’ connections of different types, we could
obtain a model of a curriculum discipline module and finally – a curriculum discipline model.
   Built Petri nets models represent all the evolution of the learning elements mastering by
students in the curriculum courses. Synchronization of their mastering is guaranteed by the
rules of Petri net execution and modifications.
   The peculiarities of the offered technique are analyzed. The benefits in terms of applying
such a simulation to the building of synchronized curriculum for IT-specialists training are
formulated.
   The prospects of the research are outlined in the lines of using the obtained results for special
software development.


References
 [1] M. Ardis, D. Budgen, G. W. Hislop, J. Offutt, M. Sebern, W. Visser, SE 2014: Curriculum
     Guidelines for Undergraduate Degree Programs in Software Engineering, Computer 48
     (2015) 106–109. URL: https://doi.org/10.1109/MC.2015.345. doi:10.1109/MC.2015.345.
 [2] Computer Engineering Curricula 2016: Curriculum Guidelines for Undergraduate Degree
     Programs in Computer Engineering, 2016. URL: https://www.acm.org/binaries/content/
     assets/education/ce2016-final-report.pdf.
 [3] Task Group on Information Technology Curricula, Information Technology Curricula 2017:
     Curriculum Guidelines for Baccalaureate Degree Programs in Information Technology,
     Association for Computing Machinery, New York, NY, USA, 2017.




                                                 25
 [4] Joint Task Force on Cybersecurity Education, Cybersecurity Curricula 2017: Curricu-
     lum Guidelines for Post-Secondary Degree Programs in Cybersecurity, Association for
     Computing Machinery, New York, NY, USA, 2018.
 [5] Information Technology Transfer Curricula 2020: Curriculum Guidelines for Two-Year
     Transfer Programs in Information Technology, 2020. URL: https://ccecc.acm.org/files/
     publications/IT-Transfer2020.pdf.
 [6] CC2020 Task Force, Computing Curricula 2020: Paradigms for Global Computing Educa-
     tion, Association for Computing Machinery, New York, NY, USA, 2020.
 [7] D. B. Clark, M. C. Linn, The knowledge integration perspective: Connections across
     research and education, in: S. Vosniadou (Ed.), International Handbook of Research on
     Conceptual Change, 2nd ed., Routledge, New York, 2013. doi:10.4324/9780203154472.
 [8] D. B. Clark, C. M. D’Angelo, S. P. Schleigh, Comparison of Students’ Knowledge Structure
     Coherence and Understanding of Force in the Philippines, Turkey, China, Mexico, and
     the United States, Journal of the Learning Sciences 20 (2011) 207–261. doi:10.1080/
     10508406.2010.508028.
 [9] A. A. diSessa, N. M. Gillespie, J. B. Esterly, Coherence versus fragmentation in the de-
     velopment of the concept of force, Cognitive Science 28 (2004) 843–900. URL: https:
     //onlinelibrary.wiley.com/doi/pdf/10.1207/s15516709cog2806_1.
[10] M. Renzi, F. Sangiorgio, G. Carrada, A. Basset, Didactic of scientific disciplines in
     school: a possible role for LaguNet, Transitional Waters Bulletin 7 (2013). doi:10.1285/
     i1825229Xv7n2p13.
[11] P. K. Singh, M. Kumar, A study on infrastructure and organizational learning: Rethinking
     knowledge performance perspective, PEOPLE: International Journal of Social Sciences 3
     (2017) 61–77. URL: https://grdspublishing.org/index.php/people/article/view/513. doi:10.
     20319/pijss.2017.32.6177.
[12] L. Gryzun, Integrative technology of academic subjects structuring and its applications to
     practical didactic issues, Aktualni pytannia humanitarnykh nauk: mizhvuzivskyi zbirnyk
     naukovykh prats molodykh vchenykh Drohobytskoho derzhavnoho pedahohichnoho
     universytetu imeni Ivana Franka 16 (2016) 309–315. URL: http://dspu.edu.ua/sites/youngsc/
     AQGS/2016_16/309-_%D0%93%D1%80%D0%B8%D0%B7%D1%83%D0%BD.pdf.
[13] L. Gryzun, Integrative approach to the curriculum and content design for the pre-
     service teachers’ training, PEOPLE: International Journal of Social Sciences 4 (2018)
     1446–1462. URL: https://grdspublishing.org/index.php/people/article/view/1572. doi:10.
     20319/pijss.2018.42.14461462.
[14] M. Minsky, A framework for representing knowledge, in: Readings in Cognitive Science: A
     Perspective from Psychology and Artificial Intelligence, 2013, pp. 156–289. doi:10.1016/
     B978-1-4832-1446-7.50018-2.
[15] C. Ramirez (Ed.), Advances in Knowledge Representation, IntechOpen, 2012. URL: https:
     //www.intechopen.com/books/1932. doi:10.5772/2351.
[16] T. Murata, Petri nets: Properties, analysis and applications, Proceedings of the IEEE 77
     (1989) 541–580. doi:10.1109/5.24143.
[17] J. Barros, L. Gomes, Modifying Petri net models by means of crosscutting operations, in:
     Third International Conference on Application of Concurrency to System Design, 2003.
     Proceedings, 2003, pp. 177–186. doi:10.1109/CSD.2003.1207712.



                                             26
[18] P. Arpaia, M. L. Bernardi, G. Di Lucca, V. Inglese, G. Spiezia,                   An Aspect
     Oriented-based Architectural Framework for Synchronization in Measurement Sys-
     tems, in: 16th IMEKO TC4 Symposium. Exploring New Frontiers of Instrumenta-
     tion and Methods for Electrical and Electronic Measurements. Sept. 22-24, 2008, Flo-
     rence, Italy, 2008. URL: https://www.academia.edu/21866608/An_aspect_oriented_based_
     architectural_framework_for_synchronization_in_measurement_systems.
[19] R. Campos-Rebelo, A. Costa, L. Gomes, Finding Learning Paths Using Petri Nets Modeling
     Applicable to E-Learning Platforms, in: L. M. Camarinha-Matos, E. Shahamatnia, G. Nunes
     (Eds.), Technological Innovation for Value Creation, Springer Berlin Heidelberg, Berlin,
     Heidelberg, 2012, pp. 151–160. doi:10.1007/978-3-642-28255-3_17.
[20] D. C. Borges, H. B. Neto, J. N. de Souza, Work in progress — Petri Nets as applied to
     the modeling of E-learning cooperative systems, in: 2010 IEEE Frontiers in Education
     Conference (FIE), 2010, pp. F1D–1–F1D–3. doi:10.1109/FIE.2010.5673186.
[21] M. Kuchárik, Z. Balogh, Student learning simulation process with petri nets, in:
     S. Patnaik, V. Jain (Eds.), Recent Developments in Intelligent Computing, Communi-
     cation and Devices, Springer Singapore, Singapore, 2019, pp. 1115–1124. doi:10.1007/
     978-981-10-8944-2_130.
[22] T. V. Shestakevych, V. V. Pasichnyk, The use of Petri Nets for inclusive education IT-support,
     ECONTECHMOD : An International Quarterly Journal on Economics of Technology
     and Modelling Processes 4 (2015) 33–38. URL: https://yadda.icm.edu.pl/yadda/element/
     bwmeta1.element.baztech-f4c8f26a-c76f-471c-8563-ca39a54ae112.
[23] J. Barros, L. Gomes, Net model composition and modification by net operations: a pragmatic
     approach, in: 2nd IEEE International Conference on Industrial Informatics, 2004. INDIN
     ’04. 2004, 2004, pp. 309–314. doi:10.1109/INDIN.2004.1417350.




                                                27