Регулярные выражения для некоторых языков сетей Петри в задаче о производителе и потребителе

Скорочена інформація про документ
dc.contributor.authorСтаткевич, В. М.
dc.date.accessioned2022-05-06T18:46:15Z
dc.date.available2022-05-06T18:46:15Z
dc.date.issued2020
dc.description.abstractenWe consider a Petri net for the producer/consumer problem (one of the classical synchronization problems) with the bounded buffer of size n and the regular formal languages Ln, generated by the net. We propose regular expressions denoting these languages in the recursive form, in case of the bounded buffer of size from 1 to 3 the explicit formulas are proposed. We transform a reachability graph into a finite automaton and use the state elimination method. We give an upper estimate for the star-height of the mentioned languages, in case of the bounded buffer of size 1 and 2 the exact values are calculated. We also consider union, intersection, Kleene closure, concatenation and set difference operations on mentioned languages. We give the finite automaton and propose regular expressions denoting the set difference of languages Ln \ L1 in the recursive form, for L2 \ L1 the explicit formula is proposed.uk
dc.format.pagerangeС. 105-123uk
dc.identifier.citationСтаткевич, В. М. Регулярные выражения для некоторых языков сетей Петри в задаче о производителе и потребителе / В. М. Статкевич // Системні дослідження та інформаційні технології : міжнародний науково-технічний журнал. – 2020. – № 3. – С. 105-123. – Бібліогр.: 15 назв.uk
dc.identifier.issnhttps://doi.org/10.20535/SRIT.2308-8893.2020.3.08
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/47208
dc.language.isoruuk
dc.publisherКПІ ім. Ігоря Сікорськогоuk
dc.publisher.placeКиївuk
dc.sourceСистемні дослідження та інформаційні технології : міжнародний науково-технічний журнал, № 3uk
dc.subjectPetri netuk
dc.subjectproducer/consumer problemuk
dc.subjectPetri net languageuk
dc.subjectformal languageuk
dc.subjectregular languageuk
dc.subjectfinite automatonuk
dc.subjectregular expressionuk
dc.subjectstar-heightuk
dc.subject.udc519.711.7+519.713uk
dc.titleРегулярные выражения для некоторых языков сетей Петри в задаче о производителе и потребителеuk
dc.typeArticleuk

Файли

Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
2020_3_105-123.pdf
Розмір:
400.84 KB
Формат:
Adobe Portable Document Format
Опис:
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
9.1 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Зібрання

Системні дослідження та інформаційні технології: міжнародний науково-технічний журнал, № 3