Конспект установочных лекций по комплексному курсу Информатика, Теория информации



Сети Петри - часть 6


готов к передаче, является бесконечным.

В несправедливом по отношению действия а бесконечном ходе работы сети Петри вентиль а встречается лишь конечное число раз, хотя он бесконечно часто готов к передаче. Ход работы называется справедливым, если он не является несправедливым относительно никаких вентилей.

Описанное понятие справедливости является лишь одним из вариантов среди многих понятий подобного рода.

Термы для описания процессов

Для моделирования поведения дискретных систем могут быть привлечены множества процессов. Такие множества допускают также описания с помощью термов языков программирования. Это можно продемонстрировать на примере простого языка.

Для представления систем используются языковые термы, называемые агентами. Рассмотрим следующий БНФ-синтаксис языка агентов:

<agent>::= skip

<action>

<agent>; <agent>

<agent> or <agent>

<agent> || <agent>

<agent> id

<agent id>:: <agent>

В данном случае <action> обозначает некоторый наперед заданный принятый язык для описания отдельных действий, а <agent id> - наперед заданное множество идентификаторов для агентов. С помощью этого языка агентов, как и с помощью сетей Петри, могут описываться множества процессов. Эти множества снова означают ходы работ агентов. Агент skip может выполнить только пустой процесс. Агент t1; t2 соответствует последовательной композиции процессов, описанных агентами t1 и t2.  Агент t1 or t2.в качестве множества процессов обладает объединением множеств процессов, описанных агентами t1 и t2.  Агент t1 || t2. описывает множество процессов, которое содержит параллельную композицию некоординируемых процессов, описываемых агентами t1 и t2 . Пусть t есть терм агента, в который свободно входит идентификатор агента х. Агент соответствует агенту (вызову агента) х, который характеризуется рекурсивным объявлением х == t. С помощью рекурсивно определенных агентов могут быть специфицированы бесконечные процессы.




Содержание  Назад  Вперед