Cтраница 1
Срабатывание перехода может произойти через любой конечный промежуток времени после возбуждения перехода. Результатом срабатывания является изъятие из всех входных позиций сработавшего перехода по одному маркеру и добавление во все его выходные позиции по одному маркеру. В некоторых приложениях соглашение о неделимости может быть нарушено. [1]
Срабатывание перехода - это недели мое событие, и потому одновременное. Когда состояние таково, что два и более переходов претендуют на срабатывание, каждый из них должен рассматриваться отдельно. Начиная с исходной разметки, которая соответствует исходному состоянию системы, и выполняя очевидную процедуру генерирования другой разметки, достижимой из исходной, можно исследовать возможные состояния системы и пути их достижения. Например, могут быть легко обнаружены тупиковые состояния и непродуктивные зацикливания и вообще всегда возможно установить, соответствует ли поведение системы ожидаемому. Хотя процедура генерации достижимой разметки довольно тривиальна, попытки исчерпывающего анализа поведения системы таким способом оказываются тщетными часто из-за уже одного только числа разметок, которое может быть бесконечным. Таким образом, главная задача, состоящая в определении достижимости данной разметки из заданного исходного состояния, оказывается неразрешимой. На рисунке в исходной маркировке могут сработать переходы В. [2]
Срабатывание перехода - неделимое действие, изменяющее разметку его входных и выходных мест следующим образом: из каждого входного места изымается по одной фишке, а в каждое выходное место добавляется по одной фишке. Тем самым реализация события, изображаемого переходом, изменяет состояние ( емкость) непосредственно связанных с ним условий так, что емкость предусловий, вызвавших реализацию этого события, уменьшается, а емкость постусловий, на которые оно влияет, увеличивается. [3]
Правила срабатывания переходов ( рис. 2.8) конкретизируют следующим образом: переход срабатывает, если для каждой из его входных позиций выполняется условие N. Kt, где Nf - число маркеров в z - й входной позиции, Kt - число дуг, идущих от i - й позиции к переходу; при срабатывании перехода число маркеров в z - й входной позиции уменьшается на К. [4]
Правила срабатывания переходов ( рис. 3.21) конкретизируют следующим образом: переход срабатывает, если для каждой из его входных позиций выполняется условие Nt К где Nt - число маркеров в г-й входной позиции, К, - число дуг, идущих от г-й позиции к переходу; при срабатывании перехода число маркеров в г-й входной позиции уменьшается на Kif а ву - й выходной позиции увеличивается на Щ, где М - число дуг, связывающих переход су-й позицией. [5]
Сеть Петри, моделирующая работу аппарата периодического действия и гзаф достижимых маркирований. [6] |
При срабатывании активного перехода изменяется маркирование сети, однако в отличие от обычных сетей Петри метка, поступи зшая в позицию Р /, остается неактивной в течение интервала времени г ( Pi, т) - т и, следовательно, в течение этого времени не может участвовать в активизации перехода, являющегося выходным по отношению к позиции РГ, после истечения указанного интервала времени метка становится активной. [7]
Соглашение о правиле срабатывания переходов СП отражает концепцию причинно-следственной связи: после того как известные объективные причины ( условия) какого-либо события выполнены, это событие может наступить. Однако время его наступления заранее не известно, поскольку возможно существование других, неизвестных нам или несущественных для нас причин, которые в конечном счете неизбежно вместе с существенными обусловят наступление интересующего нас события. После наступления события возникнут новые условия - следствия, которые могут стать причинами последующих событий. При этом первоначальные причины могут либо исчезнуть, либо сохраняться. [8]
Для ординарной сети Петри условие срабатывания перехода означает, что любое входное место этого перехода содержит хотя бы одну фишку, т.е. имеет ненулевую разметку. [9]
Значение сопротивления резистора R2 определяет положение характеристики срабатывания реле перехода. [10]
Сеть Петри функционирует, переходя от одной маркировки к другой в результате срабатывания возбужденных переходов. [11]
Граничными вершинам i называются вершины дерева, соответствующие новым, образующемся при срабатывании перехода, маркировкам. Пассивными называются маркировки, в которых отсутствуют разрешенные переходи. Пассивные маркировки соответствуют терминальным ( конечные) вершинам. Дублирующие маркировки - это маркировки, ранее встречавшиеся в дереве, им соответствуют дублирующие вершины. [12]
Сеть Петри для примера 2. [13] |
На рис. 2.10 предприятиям А, В и С соответствуют переходы tlf t2 и ty Срабатывание перехода t3 происходит только в том случае, если, во-первых, в позиции рг имеется метка, а в позиции р2 - не менее двух меток, что означает поступление от пред - 2.10. Сеть Петри для приятии А и В соответствую-примера 1 цдо комплектующие и. С закончило сборку предыдущего изделия и готово приступить к сборке следующего. Переходам /, / 2 и ( 3 поставлены в соответствие процедуры вычисления задержек срабатывания. Задержки в первых двух переходах равны интервалам времени между появлениями готовых узлов, задержка в t3 равна времени сборки изделия. [14]
Для испытания тепловозов ТЭ10 пульт управления реостатной станции должен быть оборудован электроизмерительными приборами, а также сигнальными лампами для определения моментов срабатывания реле переходов. [15]