INVESTIGATING SINGLE-TYPE STRUCTURAL ELEMENTS OF A COMPONENT PETRI NET DURING COMPONENT MODELING AND ANALYSIS OF A COMPLEX SYSTEM WITH PARALLELISM

摘要

The process of modelling reactive distributed systems by a component Petri net (a CN-net) is considered. A mechanism for constructing composite components (places and transitions) of a CN-net is shown, and an analysis of a CN-net is demonstrated by the example of modelling the railroad traffic pattern at a railroad junction. A relationship between incidence matrices of composite components of the same type in a CN-net is established, which allows one to substantiate the possibility of studying only one simplest representative of such components to verify a model of a system.