ISSN 1991-2927
 

ACP № 4 (58) 2019

Hierarchical Colored Time Petri Nets on the Basis of Neighborhood Models

Irina Aleksandrovna Sedykh, Lipetsk State Technical University, Candidate of Physics and Mathematics; graduated from the Faculty of Automation and Informatics of Lipetsk State Technical University (LSTU); Associate Professor of the Mathematics Department at Lipetsk State Technical University; an author of monographs and articles, owner of certificates of registration of the computer programs in the field of neighborhood modeling of dynamic systems. [e-mail: This email address is being protected from spambots. You need JavaScript enabled to view it. ]I. Sedykh,

Evgenii Sergeevich Anikeev, Lipetsk State Technical University, graduated from the Faculty of Physics and Engineering of Lipetsk State Technical University (LSTU); Master’s Degree Student at Lipetsk State Technical University; an author of articles, owner of certificates of registration of the computer programs in the field of neighborhood modeling of dynamic systems. [e-mail: This email address is being protected from spambots. You need JavaScript enabled to view it. ]E. Anikeev

Hierarchical Colored Time Petri Nets on the Basis of Neighborhood Models 52_10.pdf

The article describes the definition and algorithm for the operation of common labeled Petri nets. Some varieties of Petri nets such as timed, colored and colored timed Petri nets are shown. The proposed hierarchical colored Petri nets based on neighborhood models are an extension of the considered classes. The hierarchy in this system is represented by a set of positions and transitions, in each of which a neighborhood model can be embedded. The concept of a dynamic neighborhood model is also given in this paper. Adding a hierarchy allows to analyze additional properties of simulated dynamic distributed processes. For colored Petri nets with hierarchical transitions, an operation algorithm is formulated that is designed and implemented as a Java program. The peculiarity of the models under consideration is the synchronization of the operating time of the external and internal systems. In addition, the control signals of the embedded neighborhood model depend on the change in the current marking of the Petri net when a hierarchical transition occurs. An example of the functioning of a Petri net with a hierarchical transition is given.

Modelling, colored timed petri net, hierarchical petri net, algorithm, neighborhood model.

© FRPC JSC 'RPA 'Mars', 2009-2018 The web-site runs on Joomla!