Реверсивные частично маркированные sNCES-сети

теория сетей Петри Петри теория сетей sNCES-сети реверсивные sNCES-сети частичное маркирование маркирование сети Петри Петри сети NCES-сети маркировка

Функциональные блоки АЛУ для конвейерно-параллельной обработки информации на базе однородных вычислительных структур, Определение технологических характеристик профильного алмазного шлифования, ...

В отличие от сетей Петри, в NCES-сетях могут срабатывать множества переходов, организуемые в шаг, что позволяет с их помощью моделировать как асинхронные, так и синхронные системы. <...> Существуют различные виды NCES, в числе которых временные (TNCES) [6] и безопасные (sNCES) [7]. NCES-сеть, не имеющая внешних входов и выходов, была названа «сигнальной сетевой системой» (Signal Net System, сокращенно SNS). <...> Выражение m(p) = 0 определяет отсутствие меток в позиции p, m(p) = 1 – наличие одной метки, m(p)=* означает, что значение маркировки позиции p не определено или не является важным. <...> Маркировка RsNCES, в которой хоть одна позиция маркирована символом *, называется частичной маркировкой, иначе маркировка называется конкретной или определенной. <...> Определим следующие множества позиции pP: занных с ней обычными дугами; – tpostс – tpost p = {t (p, t)F} – множество выходных переходов позиции, свяp= {t (p, t)CN} – множество выходных переходов позиции, связанных с ней условными дугами. <...> Произведем классификацию обратных NCES на основе следующих классификационных признаков: 1) степень свертки-конкретизации допустимых шагов. <...> Возможные значения признака: А1 – используются полные допустимые шаги; A2 – используются усеченные допустимые шаги; 23 Известия высших учебных заведений. <...> Поволжский регион 2) степень свертки-конкретизации запрещающих контекстных маркировок (ЗКМ). <...> Все приведенные виды сетей являются эквивалентными в том плане, что множества достижимых маркировок данных сетей являются эквивалентными. <...> Наиболее привлекательными являются сети класса A2B2, позволяющие получить компактное множество достижимых маркировок. <...> Пусть N будет sNCES с маркировкой m и μ T – непустое множество переходов внутри N. μ есть шаг, если: 1. <...> Множество триггерных переходов определяется как Tt = {tT tpret = }. <...> Определим следующие множества позиций переходов шага: Pcμ={p tpostcp μ & tpostp μ = } – множество позиций переходов ppre t <...>

• Похожие документы из РУАЭСТ
• |
• Похожие документы из Руконт