Investigating single-type structural elements of a component Petri net during component modeling and analysis of a complex system with parallelism

  • Authors:

  • E. A. Lukyanova;A. V. Derezaa

  • Affiliations:

  • Taurida National V. I. Vernadsky University, Simferopol, Ukraine;Taurida National V. I. Vernadsky University, Simferopol, Ukraine

  • Venue:
  • Cybernetics and Systems Analysis
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.