Моделювання інформаційних систем на базі передумовної і післяумовної комплексних позицій l – го рівня
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##
Опубліковано
Номер
Розділ
Ліцензія
Ця робота ліцензується відповідно до Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
