УДК 519.711.3:004 (681.3)
МЕТОДИКА ФОРМАЛИЗАЦИИ ИНФОРМАЦИОННЫХ СЕТЕЙ ПЕТРИ НА ОСНОВЕ АЛГЕБРАИЧЕСКОГО ПОДХОДА
Д. В. Горбачев
TECHNIQUE OF FORMALIZATION OF INFORMATIONAL PETRI NETS ON THE BASIS OF ALGEBRAIC APPROACH
D. V. Gorbachev
Аннотация. Актуальность и цели. Развитие средств автоматизации и информатизации различных сфер человеческой деятельности (производство, технологии, оказание услуг) требует построения адекватной модели, отражающей все этапы и формы взаимодействия объектов и субъектов информационного обмена. Существующие методики формализации такого обмена эффективно описывают лишь некоторые из его аспектов. Обычно это семантический и/или прагматический аспекты. В связи с этим актуальной представляется задача разработки формализма с такой степенью универсальности и мощности, чтобы при исследовании информационных процессов можно было адекватно отображать и формально-структурные характеристики информации. Материалы и методы. Решение поставленной задачи основывается на применении алгебраического подхода и использовании компиляции методов логико-лингвистической концепции и полусистем Туэ. Результаты. Приведенные в работе описания раскрывают сущность предлагаемой методики, заключающейся в определении объектов сети Петри как некоторых элементов информационного процесса, а затем введение дополнительных нагрузок на сами объекты сети Петри -позиции, переходы, фишки. Применение разработанной методики показано на примерах. Выводы. Информационные сети Петри являются еще одним расширением обыкновенных сетей Петри, позволяющим синтезировать модели информационных процессов и интегрировать их в алгоритмическое обеспечение автоматизированных информационных систем.
Ключевые слова: информационная сеть Петри, функция помечения, алфавит, язык сети Петри.
Abstract. Background. Development of an automation equipment and informatization of various spheres of human activity (production, technologies, rendering services) demands creation of the adequate model reflecting all stages and forms of interaction of objects and subjects of informational exchange. The existing techniques of formalization of such exchange efficiently describe only some of aspects of such exchange. Routinely it is semantic and/or pragmatically aspects. In this connection, the problem of development of a formalism with such degree of universality and power that at research of informational processes it was possible to display adequately and formal and structural characteristics of information is represented actual. Materials and methods. The solution of an objective is based on application of algebraic approach and use of compilation of methods of the logi-ko-linguistic concept and semi-systems of Thue. Results. The descriptions provided in work open substance of the offered technique consisting in definition of objects of a Petri net as some elements of informational process, and then introduction of padding loads of objects of a Petri net - positions, transitions, counters. Applying the developed method illustrated in the examples. Conclusions. Informational Petri nets are one more expansion of ordinary Petri nets allowing to synthesize models of informational processes and to integrate them into algorithmic providing the automated intelligence systems.
Key words: information Petri net, ascription function, alphabet, language of Petri nets.
Введение
Вопросам исследования сетей Петри и их применения для решения задач моделирования систем уже на протяжении более чем 30 лет уделяется достаточно большое внимание. Классическим изданием, в котором наиболее полно раскрыты возможности сетей Петри для моделирования систем и поставлены проблемные вопросы формализации отдельных аспектов их описания, является книга Дж. Питерсона [1]. Известны фундаментальные работы в этой области, принадлежащие нашим соотечественникам В. Е. Котову, А. А. Таль, С. А. Юдицкому, А. А. Лескину, И. А. Ламозовой, А. В. Анисимову и др. В данном исследовании сети Петри рассматриваются как базис для создания информационных сетей Петри (ИСП).
Применение стандартных сетей Петри значительно ограничено правилами срабатывания переходов и продвижением фишек в сети Петри. Выполнение правил обеспечивает свойства безопасности, ограниченности, сохраняемости, активности, достижимости сети Петри. Однако построить сеть Петри, обладающую указанными свойствами, достаточно сложно, особенно когда необходимо имитировать процессы с десятками и сотнями объектов.
В результате проводимых исследований сформировался метод имитационного моделирования дискретных динамических систем расширенными сетями Петри. Для формализации имитационной модели таких систем используется декомпозиция информационного процесса согласно иерархическим сетям, правила и алгоритмы функционирования сети осуществляются согласно раскрашенным сетям Петри. При этом дополнительно вводится формализм, присваивающий объектам сети Петри информационную нагрузку (среду). Функционирование ИСП осуществляется в соответствии с состояниями объектов сети: вначале производится проверка информационной среды фишки, затем определяется маршрут ее перехода и выполняется позиционное преобразование.
В работе не исследуются свойства введенного класса сетей Петри. Этому вопросу посвящаются другие работы.
где Р = {р1,р2, •..,Рп} - конечное множество позиций (мест); Т = ,t2,• • •, tm} -
конечное множество переходов, причем Р п Т = 0 ; I : Р ^ Тм - входная функция:
Графически сеть Петри представляется двудольным ориентированным мультиграфом О = [V, А}, где V - множество вершин V = Р и Т, причем
О : Р ^ Тм - выходная функция:
Р и Т =0 ; А - множество направленных дуг, таких, что для всех р^ е Р и е Т
# ((р., <1 ) А)# (, ( (<1 ))), # (( , Р, ), (, (0 ('у )))•
Динамика сети Петри моделируется движением фишек (маркеров) ф по графу сети; при этом говорят, что сеть Петри функционирует. При функционировании сети Петри меняется ее маркировка, т.е. состояние. Изменение маркировки происходит согласно правилу
V: Р ^ N,
где N - множество неотрицательных целых чисел.
Разрешение на выполнение перехода определяется следующим условием:
V (р, )> # (р,, I ()).
Переход запускается удалением всех фишек ф из входных позиций переходов и помещением их в выходные позиции:
¿(р,) = V (р,) " # (р,, I ()) + (р, ,о () ) .
Алгоритм формализации информационных сетей Петри сложной структуры
Моделирование процессов с помощью сетей Петри основано на взаимодействии событий и условий [3]. Событие - это действие, происходящее в системе. Условие - логическое описание состояния системы. Условия делятся на предусловия события, определяющие реализацию события, и постусловия - следствия произошедшего события. Таким образом, можно сказать, что функционирование сети Петри есть последовательность операций «проверка условия» ^ «событие», в ходе которых происходит изменение состояния сети Петри.
Как уже было отмечено, состояние сети Петри определяется ее маркировкой, т.е. числом фишек, находящихся в позициях на каждом такте работы сети. Изменение состояния сети непосредственно связано со срабатыванием перехода и определяется функцией следующего состояния:
5 : Nn хТ ^ Nn, причем функция 8 определена тогда и только тогда, когда
V (р) > # (р,, I () ) ,
для всех р1 е Р .
Если 8(ц, ') определена, то
5 (V, <1) = V'; V (р, ) = V (р, ) - # (р, , I () ) + (р, ,о ()) .
Маркированная сеть Петри имеет начальную маркировку ¡¡0 и последовательность маркировок ц = (цх, V2, •••), которые получаются путем срабаты-
вания переходов tj еТ. Если маркировка ц может быть получена за конечное число тактов работы сети Петри, то такая маркировка называется непосредственно достижимой.
Маркировка сети Петри называется тупиковой, если не может сработать ни один переход, т.е. имеет место конфликт запуска переходов.
Обычные сети Петри позволяют моделировать достаточно широкий класс систем и процессов. Для повышения моделирующей мощности обычных сетей Петри разработаны и применяются их многочисленные расширения [4-6]. Одним из таких расширений являются ИСП [7-9]. Наиболее полно выразительная мощность ИСП раскрывается при моделировании информационных процессов, сопровождающих производственные, технологические и бизнес-процессы предприятий и организаций.
Информационные сети Петри - это система 1РЫ = [РЫ, Е, ^}, где
РЫ = [Р, Т, I, О, ц} - сеть Петри, Е = [Еф, Ер, Е{} - информационная интерпретация фишек, позиций и переходов соответственно.
Модель интерпретации фишек задается следующим образом.
В общем случае фишка в сети Петри представляет собой примитив, задающий предусловия и иллюстрирующий динамику срабатывания переходов. При моделировании фишка часто рассматривается как некоторый ресурс, необходимый для исполнения процесса [5, 10]. Однако для реализации операций процесса зачастую требуется не один, а несколько ресурсов, причем каждый из которых должен быть соответствующим образом идентифицирован. Различие ресурсов естественным образом может быть выполнено по их атрибутам. Ключевым понятием в атрибутивной модели является «отношение». Отношения могут носить семантический характер, определяющий степень соответствия информационного образа объекта (фишки) и самого объекта (ресурса), и прагматический - отражающий соответствие информации цели управления.
*
Каждое отношение Я^ с Я определяется совокупностью доменов Я[ = {йх,d2, •.., й1}, й1 е О . Если между доменами существует отношение строго порядка й1_1 < й1, то такие отношения называются доменно-упорядоченными (в дальнейшем рассматриваются только такие виды отношений).
Домен представляет собой набор значений определенного типа, интерпретируемый столбцом [х1, х2, •.., хк}. Количество значений в каждом домене в общем случае может быть разным:
ё1 (х) Ф й2 (х) Ф •.. Ф й1 (х).
Для отношений Я1 и Я2 вводится операция 9-соединения отношения Я1
Я Я
по домену О 1 с отношением Я2 по домену О 2, задаваемая формулой
Я1
'й^10 й^2
Я20 [(х о у): х е йЯ л у ейЯ л (х й*10 й^2 )},
-зЯп
я
где знак «9» означает сопоставление (соответствие) х в домене й ', у в домене йЯ и обозначается |>, <|, ||.
Приведем пример.
Пусть заданы отношения Я\(ё\, ¿2) и Я^^) следующего вида:
"1 А
В
С О
^ 2 1 1
1 и
2 3
Я2
1
а в
У
и задано следующее сопоставление:
С ={х1 > лм*! > у 2}; {х2 < [у 2 };{х3 л х4 11уз}.
Тогда Я будет иметь вид
Я*
уЯ* ¿я* ¿я*
1 а 2 ¿3
А 1 а
А 1 в
В 1 в
С 2 У
О 3 У
Интерпретация позиций в ИСП задается следующим образом.
По аналогии с предикатными сетями Петри [5] и алгебраическими сетями Петри [3] каждой позиции может быть сопоставлен кодекс К. Конечное непустое множество К с А* называется кодексом, если все слова К* допускают единственное разложение в слова К, т.е. К является свободным моноидом1.
Интерпретация информационной среды (ИС) позиции Ер определяется следующим образом:
Ер. : р, (К) х/р',
где /р' с Е - множество допустимых преобразований, выполняемых с использованием ИС фишки в позициир; К с А*.
Для того чтобы с ИС фишки Еф можно было выполнять позиционные преобразования, необходимо и достаточно выполнения условия истинности импликации:
{Еф : Я ((, ¿2, •••, )} л {Ер : /р [/1 (х), /2 (х), •.., /л(х)]}^
^ I = л; ¿1 =/1 (х); ¿2 =/2 (х); •••; ¿1 = Л(х) .
1 Свободный моноид на конечном алфавите А = (а, Ь, с,...) включает в себя множество слов А , операцию конкатенации о и е - единичный элемент (пустое слово): А = (А*, о, е).
Преобразование /р' записывается следующим образом:
/ = ^ |/р' : Е(р) хЛя^Е(щ) ^ [Е(р,)] лЛ^Е(фг),
где г и I - атрибуты на отношениях Я и Ь соответственно.
Посредством /р' осуществляется взаимодействие (обработка) информационной среды фишки. Результатом взаимодействия является измененная ИС фишки ЛЬ=1Е(фг) при постоянстве ИС позиции Е (р, ) = Е (р,). Фишки, прошедшие обработку, составляют выходное множество позиции.
В зависимости от семантики приписываемого позиции кодекса Кр позиции могут быть предметными, вероятностными, временными или логическими, соответственно виду функции преобразования или алгоритма.
Интерпретация переходов Е( определяет совокупность условий, которым должны удовлетворять ИС фишек при прохождении переходов.
Для обеспечения выразительной мощности в ИСП различают следующие типы переходов:
1) простой - А-переход - передает фишку со всех входных дуг !(«)) на все выходные дуги О(г));
Л *
2) конъюнктивный по входу - tj = а, а е А - объединяет все входные дуги перехода # (, I (0)):
е (ф р,) ^ е (ф й ) = Еф;
3) дизъюнктивный по входу - vtj = в = —а, в е А - выборка
е(фр, )е(фР, ) = Еф,
где Еф =(( г2, •, г ),г е е (ф р,);
л *
4) конъюнктивный по выходу - tj = у, у е А - объединяет все выходные дуги перехода # (р, О(^)):
еф ^ Е(фр)л Еф ^ Е(фР1);
5) дизъюнктивный по выходу - ^ = ^ = —У, С е А - распределение
еф ^ Е(фр,) v еф ^ Е(фР1).
Помечение переходов задается согласно функции помечения о : Т ^ А, сопоставляющей переход каждого вида символу алфавита А* с А .
Согласно классификации помеченных сетей Петри [1] и введенных ранее видов переходов, ИСП может быть отнесена к сетям с А-переходами, она порождает язык СТх, для которого РЫ = [Р, Т, I, О} о : Т ^ А , ц0:
С = [о(х)е А* | хе Т* л 5(ц, х), определено, но для УtJ■ е Т, 5(5(ц, х), tj) не определено.
Таким образом, язык ИСП £* является языком терминальных состояний с А-переходами.
Корректное функционирование ИСП обеспечивается соблюдением следующих правил срабатывания переходов:
а) при срабатывании А-перехода реализуется следующее отображение:
фишки со всех входных дуг поступают на выходные дуги;
б) переходы, помеченные символом а е А*, при срабатывании «проверяют» соответствие ИС фишки и ИС позиции, т.е. выполняют роль некоторого распознающего устройства X, обладающего памятью.
На вход устройства X поступают символы из Еф :Я(dl,d2,•••, ¿/).
Кроме того, для устройства X определены V = {а1,а2, •.., ат} - входной алфавит, причем V* = А*; Q = {^1, q2, • .., -1} - алфавит состояний устройства X (конечное множество выходных символов); Vм - алфавит магазинных симво-
* * с-
лов, Vм = {^0,2Х, г2, • .., _} такой, что Vм = Ер; функция 8, задающая отображение вида
5 = ^х[(V : V* = Еф)и(е)] х |>м : VI = Ер] ^ [Qх( Vм : VM = Ер) ]}.
Функция 8 выполняется в соответствии с таблицей
V * = Е * V* = Е * Е 1 1 1 5 = 0 10 1 0 0 0 0 0
где Е = [{V* = Еф }л^М = Ер}] ЦЕф = Ер };
в) правила «разделения-слияния» для переходов типов 2-4 выполняются согласно следующим правилам:
- переход типа а:
Е(<Ррг) %Р2)
'(р,) = ^ (ф рО 0 е (ф р2) ,1;
иначе, 0 118
V
- переход типа Р:
Е((Рр1) ц'(р, ) =
е (ф р1 ) = ЕР,,!
V <
(фр2 )Ф ер1 ,0
;(ф р1 )ф ер1,0
е (ф р2 ) = Ер>,!
- переход типа у:
<
'V 2
Ц(Р, ) = ■
- переход типа £ :
Е (ф р, ) = Ер1 ] л [ Е (ф р ) = Ер2],1 иначе, 0
С
'Рх
'Рг
ц'(р, ) =
е(фр, ) = Е^1
е (ф р, )Ф eр2, 0
V <
Е (ф а )Ф eр1, 0 Е (ф р, )= ер2, 1
Начальное состояние ИСП ШЫ = [РЫ, Е, , определяется начальной разметкой ¡¡0, которая ставит в соответствие размещение в позициях некоторых ресурсов (описываемых наборами атрибутов) Я ={г1, г2, • .., г1}, необходимых для исполнения операция процесса, в количестве S е Ж, г*; записывается следующим образом:
={Р, (г', ^, •.., г?) } = 1.
Алгоритм функционирования ИСП рассмотрим на примере (рис. 1). Пусть некоторый процесс моделируется = [РЫ, Е, для которой задана функция инцидентности:
I (л )={}; I (Р2 ) = {V; I (Рз ) = {'Л};
I (Р4 ) = КЬ I (Ч )={Р1, Р4}; I (Л) = ^Р2}.
О (Р1 ) = {Ч}; о (Р2 ) = {?2Л}; о (Рз )={};
О (Р4 ) = { %}.
о (Ч )=Ь};
О ('Л) = {Рз, Р4}.
Ь Р2 12
Рис. 1. ИСП (пример)
Информационная среда позиций задается в табл. 1.
Таблица 1
Позиция Характер ИС позиции Выполняемое позиционное преобразование
Р1 Вероятностная, логическая Г :у = Г * ° 1 где ^(у,) - вероятность события у,-
Р2 Предметная /Р : Я (х)= ^ 1
Рз Предметная /Рз : Е(ФРз)
Р4 Предметная /Рз :Я = (гДГ24}
Типы и условия срабатывания переходов приведены в табл. 2.
Таблица 2
Переход Помечение перехода Условия срабатывания
Лг л * а е А Е (ФР4 )0 Е (ФР1 ЕР2
'Л '2 р е А* Е (фР2 )/ ЕР4 Л ЕРз
Начальная маркировка имеет вид
^0 = {р4 : е (фр4 )= { 4} . 120
Функционирование начинается с появлением фишки в позиции р! с ИС:
Е (Ф Р1 ) = 1
Слова «появление фишки» означают, что при имитации какого-либо процесса инициализация сети происходит случайным событием с вероятностью С(х), где х - временной параметр.
Вид и параметры функции G(хг■) в общем случае являются неизвестными. Введем дискретную величину равномерно распределенную на интервале [0, 1], имеющую вероятность р(^). Исходя из известных значений Еу и р(^) значение у, принимает значения
У, =
1> а
Р (У) 0 Р ( у )< а
где а выбирается таким образом, чтобы выполнялось условие
Е(У, = 1) |Р(р)> а) = 1/2.
Переход сработает и поместит фишку в позицию р2:
5((М0 Р1), Лtl) (Р2 ) = 1.
В позиции р2 выполняется позиционное преобразование вида: /(Р2): (е(фр4)Е(фр1 ))хер2 ^Е(фр2 )О(Р2нI(
л 1
2 I,
г- 2 , 4
где Ер2 = г1 + г2 .
Переход ^ активен и может сработать, при этом произойдет изменение маркировки:
8(ц',Р2),t2л)^{¡¡>4,Рз) = 1 |Е(фр4): Я = {г12,г4}лЕ(фрз):^(г12 + г24)} .
Таким образом, результатом функционирования является язык С* = [апрт \п > 0, т > 0; а, Р е А*}.
Конечное состояние 1РК означает достижение терминальной разметки ¡Т = Ц (0,0,1,1) . Фишка в позиции р3 может интерпретироваться как, например, момент окончания некоторого процесса.
Заключение
Таким образом, введенный формализм информационных сетей Петри, основанный на раскрашенных и ресурсных сетях, позволяет достаточно адекватно описывать процессы информационного взаимодействия в динамических, дискретных системах. Кроме того, объекты ИСП, описываемые информационными атрибутами, естественным образом интерпретируются
реляционными объектами баз данных и структурами объектно-ориентированного программирования.
Список литературы
1. Питерсон, Дж. Теория сетей Петри и моделирование систем / Дж. Питерсон. - М. : Мир, 1984. - 264 с.
2. Котов, В. Е. Сети Петри / В. Е. Котов. - Новосибирск : Наука, 1984. - 249 с.
3. Лескин, А. А. Алгебраические модели гибких производственных систем / А. А. Лескин. - Л. : Наука, 1986. - 150 с.
4. Jensen, К. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use / К. Jensen. - Berlin : Springier. - Vol. 1. - 1996 ; Vol. 2. - 1997 ; Vol. 3. - 1997.
5. Ломазова, И. А. Вложенные сети Петри: моделирование и анализ распределенных систем с объектной структурой / И. А. Ломазова. - М. : Научный мир, 2004. -208 с.
6. Таль, А. А. Иерархия и параллелизм в сетях Петри. Сложные сети Петри / А. А. Таль, С. А. Юдицкий // Автоматика и телемеханика. - 1987. - № 7. - С. 13-19.
7. Анисимов, А. В. Исследование жизненных циклов сложных технических систем посредством сетей Петри / А. В. Анисимов, Ю. Е. Борейша // Автоматика и телемеханика. - 1987. - № 4. - С. 90-101.
8. Горбачев, Д. В. Представление технологического процесса ремонта сетями Петри / Д. В. Горбачев, О. Л. Высоцкий // Сб. материалов научно-технич. конференции. -Н. Новгород : Н-НВЗРИУ, 1996.
9. Горбачев, Д. В. Использование сетей Петри при проектировании систем / Д. В. Горбачев, Н. М. Клементьева // Проблемы автоматизации и управления в технических системах : материалы Междунар. науч.-техн. конф. - Пенза : ПГУ, 2004. - С. 42-46.
10. Башкин, В. А. Эквивалентность ресурсов в сетях Петри / В. А. Башкин, И. А. Ло-мазова. - М. : Научный мир, 2008. - 208 с.
Горбачев Дмитрий Владимирович
кандидат технических наук, доцент, кафедра программного обеспечения вычислительной техники и автоматизированных систем, Оренбургский государственный университет E-mail: gordi47@mail.ru
Gorbachev Dmitry Vladimirovich candidate of technical sciences, associate professor,
sub-department of software of computer facilities and automated systems, Orenburg State University
УДК 519.711.з:004 (681.з) Горбачев, Д. В.
Методика формализации информационных сетей Петри на основе алгебраического подхода / Д. В. Горбачев // Модели, системы, сети в экономике, технике, природе и обществе. - 2016. - № з (19). - С. 112-122.