Моделювання інформаційних систем на базі передумовної і післяумовної комплексних позицій l – го рівня

Автор(и)

  • Василь Стасьович Селецький Виробничий підрозділ «Львівське відділення філії «Головного інформаційно-обчислювального центру» акціонерного товариства «Укрзалізниця», Ukraine https://orcid.org/0000-0001-6981-9450

DOI:

https://doi.org/10.18664/ikszt.v27i2.259709

Ключові слова:

модель, розширена мережа Петрі, вихідна предикатна позиція k–го рівня, вхідна предикатна позиція k–го рівня, передумовна комплексна позиція k–го рівня, післяумовна комплексна позиція k–го рівня, кусково-динамічна таблиця

Анотація

В статті розглянуто модель системи зі складених об’єктів, яку побудовано на базі підмереж з
передумовною комплексною позицією l – го рівня і на базі підмереж з післяумовною комплексною позицією l – го
рівня. Побудована математична модель інформаційної системи на базі передумовних і післяумовних підмереж
(модель системи зі складених об’єктів) дає можливісь моделювати технологічні процеси для різних
інформаційних і транспортних систем.
Для моделей складених об’єктів запропоновано динаміку функціонування технологічних процесів роботи
описувати за допомогою кусково-динамічних таблиць.

Біографія автора

Василь Стасьович Селецький, Виробничий підрозділ «Львівське відділення філії «Головного інформаційно-обчислювального центру» акціонерного товариства «Укрзалізниця»

кандидат технічних наук,
провідний інженер

Посилання

Селецький В. С., Федак Я. А. Про пристрої

обслуговування заявок. Інформаційно–керуючі

системи на залізничному транспорті. 2001. № 5.

С. 31–34.

Селецький В. С. Застосування математичного

апарату мереж Петрі на залізничному транспорті.

Залізничний транспорт України. 2009. № 2. С. 3–6.

Селецький В. С. Розширення мереж Петрі. Ч. I.

Означення, моделі та їх математичний опис.

Інформаційно–керуючі системи на залізничному

транспорті. 2011. № 5. С. 77–80.

Селецький В. С. Розширення мереж Петрі. Ч. II.

Обґрунтування, властивості і аналіз. Інформаційно–

керуючі системи на залізничному транспорті.

№ 6. С. 31–36.

Селецький В. С. Розширення мереж Петрі. Ч. V.

Можливості позицій мереж Петрі. Інформаційно–

керуючі системи на залізничному транспорті.

№ 5. С. 75–80.

Селецький В. С. Мережі Петрі і комплексні числа.

Інформаційно–керуючі системи на залізничному

транспорті. 2020. № 3. С. 3–11.

Селецький В. С. Розширення мереж Петрі і

комплексні числа. Інформаційно–керуючі системи

на залізничному транспорті. 2020. № 4. С. 36–43.

Селецький В. С. Мережі Петрі і мова

програмування Delphi. Інформаційно–керуючі

системи на залізничному транспорті. 2014. № 2.

С. 15–20.

Reisig W. Petri nets – an introduction (EATCS

Monographs on Theoretical Computer Science 4);

Springer Verlang 1985.

Corsi F. and Castagnolo B. Probablistie delay

evaluation in combinational digital circuits by Petri

nets. Microelectronics and Reliab. 1983. Vol. 23,

No. 3. Pp. 541–553.

Florin G., Franze C. and Natkin S. Stochastic Petri

nets: properties, aplications and tools. Microelectronics and Reliab. 1991. Vol. 31, No. 4. Pp. 669–697.

Chen Po-Zung, Bruell Steven C. and Balbo Giarfranco.

Formulating and solving optimization problems using

stochastic timed Petri nets. Microelectronics and

Reliab. 1991. Vol. 31, No. 4. Pp.769–792.

Zuberek W. M. M-timed Petri nets, premptions, and

performance evaluation of systems. Advances in Petri

Nets 1985 : Lecture Notes in Computer Science 222,

G. Rosenberg (ed.). Springer Verlag 1986.

Pp. 478–498.

Zuberek W. M. Timed Petri nets definitions, properties,

and applications. Microelectronics and Reliab. 1991.

Vol. 31, No. 4. Pp. 627–642.

Селецький В. С. Автоматизація формування

поїзних перевізних документів на прикордонній

сортувальній станції. Залізничний транспорт

України. 2011. № 3. С. 58–61

Смолій О. В., Селецький В. С. Автоматизація

формування поїзних перевізних документів на

прикордонній вантажній станції і міждержавний

обмін інформацією між Україною і Польщею.

Залізничний транспорт України. 2017. № 4.

С. 21-30.

##submission.downloads##

Опубліковано

2022-06-17