Petri Nets for Concurrent Programming

The issues of design of a Petri net-based software component for modelling holistic and coordinated curriculum for potential specialists’ training

“…In accordance with Petri nets theory [10,11], these nets are viewed as a formal simulation tool characterized by graphical visualization and a well-defined semantics and syntax. A Petri net is formally defined as a directed bipartite graph represented as N =< P, T, R >, where P = p i denotes the set of graph vertices (referred to as places) and T = t i signifies the set of vertices (referred to as transitions).…”

“…The composition of these models involved merging transitions T1 (representing the availability of an LE for student learning) from the dependent LE model and T8 (indicating that the LE is available for continuation) from the preceding LE mastery model. Using Petri nets modification operations (e.g., fusion) defined in [11] and the various types of LE connections (as determined earlier), we created a model for the mastery of a curriculum discipline module, and ultimately, for the mastery of an entire curriculum discipline. A few instances of this modeling process are illustrated in figure 3.…”