Начальная разметка

Cтраница 2

В ряде случаев при определении автоматной сети накладывается дополнительное ограничение, чтобы ее начальная разметка имела ровно одну фишку. В то же время автоматные сети позволяют изображать конфликтные ситуации, когда одно и то же место-условие является входным ( или выходным) для нескольких переходов-событий. [16]

Pn, t В синхрографе на рис. 4.4 6, отличающемся от предыдущего начальной разметкой, все циклы непусты, поэтому он живой. [17]

На рис. 1.2, а показан еще один пример сети Петри с некоторой начальной разметкой мест, при которой может сработать только переход t, так как его единственное входное месторг содержит фишку. Переходы Г2, t и Г6 имеют по одному входному месту, не содержащему фишки, поэтому они не могут сработать. Переходы Гз и 4 имеют по два входных места. [18]

Пусть Л / - S-сеть, полученная разверткой примитивной сети Л / со стандартной начальной разметкой. [19]

Наличие двух составных переходов одинаковой структуры вызвано тем фактом, что в составном переходе начальная разметка его внутренних мест восстанавливается после завершения перехода. [20]

Построим функциональные определения свойства уровня М ( 1, М 0), где начальная разметка М является параметром, тем самым определим и функцию разметки. [21]

Отсюда следует также, что автоматная сеть безопасна тогда и только тогда, когда ее начальная разметка содержит ровно одну фишку. Автоматная сеть жива тогда и только тогда, когда она представляет собой сильно связный граф, т.е. из любой вершины сети существует путь вдоль дуг в любую вершину, и ее начальная разметка содержит хотя бы одну фишку. [22]

Развертка примитивной сети с произвольной начальной разметкой осуществляется сведением к рассмотренному выше случаю сети со стандартной начальной разметкой. С этой целью производится предварительное преобразование расщепления исходной сети на совокупность примитивных сетей со стандартной разметкой. Расщепление осуществляется следующим образом. [23]

N-схема кредитования. [24]

Разметка позиции Ь5 задает объем кредитных ресурсов, которые состоят из собственных средств банка ( определяются начальной разметкой) и привлеченных ресурсов. [25]

Сеть Петри определена в главе 1 как набор, состоящий из множеств мест и переходов, отношения инцидентности и функции начальной разметки. Такой способ задания сетей обычен для постановки и решения теоретических задач анализа сетей. Графовую форму представления сетей Петри удобно применять в иллюстративных целях. Однако оба эти способа представления сетей не подходят для прикладных задач моделирования дискретных систем, например, для задач, включающих автоматический анализ, синтез и преобразования сетевых моделей с помощью ЭВМ. [26]

Заменим в сети / V начальную разметку М0 на разметку М, после чего построим полное покрывающее дерево для полученной сети с начальной разметкой М, являющейся корнем этого дерева. [27]

Команды ДОС позволяют запускать любую прикладную программу, в качестве которой может фигурировать утилита ДОС, представляющая программу, выполняющую какую-либо сервисную функцию, например начальную разметку диска. [28]

Теорема 3.1. Достигнутая разметка сети G является стационарной тогда и только тогда, когда свойство любого уровня не изменяется после L 1 шагов ПАСС при любой начальной разметке. [29]

Например, заданы стандартное окружение для анализа G ( V, A), ( L, Л), F, 2V х 2А - F и некоторая начальная разметка графа G. Требуется найти стационарную разметку, при которой свойство любой дуги является наибольшей нижней гранью множества допустимых в соответствии с правилами разметки свойств. Задача анализа называется прямой, когда свойства любой вершины определяются свойствами ее предшественников. Если же свойства вершины зависят только от свойств ее преемников, то имеет место обратная задача анализа. [30]

Страницы: 1 2 3 4