Использование частичного маркирования позволяет сократить число достижимых состояний реверсивных sNCES-сетей. <...> Сети Петри –
наиболее популярная модель для параллельных, асинхронных и взаимодействующих процессов. <...> Этот формализм для моделирования дискретных событийных систем был
впервые предложен в работе [5]. <...> В отличие от сетей Петри, в NCES-сетях
могут срабатывать множества переходов, организуемые в шаг, что позволяет с
их помощью моделировать как асинхронные, так и синхронные системы. <...> Существуют различные виды NCES, в числе которых временные (TNCES) [6] и
безопасные (sNCES) [7]. NCES-сеть, не имеющая внешних входов и выходов,
была названа «сигнальной сетевой системой» (Signal Net System, сокращенно
SNS). <...> Информатика и вычислительная техника
удобно использовать при решении тех задач, где требуется найти маркировки,
из которых достижима заданная целевая маркировка. <...> Выражение
m(p) = 0 определяет отсутствие меток в позиции p, m(p) = 1 – наличие одной
метки, m(p)=* означает, что значение маркировки позиции p не определено
или не является важным. <...> Маркировка RsNCES, в которой хоть одна позиция
маркирована символом *, называется частичной маркировкой, иначе маркировка называется конкретной или определенной. <...> Событийный режим em(t) перехода t определяет, как связаны входящие событийные дуги – конъюнктивно
или дизъюнктивно. <...> Определим следующие множества перехода t∈T:
t
– ppre = {p | (p, t)∈F} – множество входных позиций перехода t, связанных с ним обычными дугами (множество входных позиций);
t
– bpre = {p | (p, t)∈F} – множество входных позиций перехода t, связанных с ним условными дугами (множество условных позиций);
t
– ppost = {p | (t, p)∈F} – множество выходных позиций перехода t;
t
– tpre = { t ' | (t’, t)∈EN} – множество входных переходов перехода t;
t
– tpost = { t ' | (t, t’)∈EN} – множество выходных переходов перехода t.
t
Переход t∈T без входящих событийных дуг (tpre = ∅) называется
триггерным переходом. <...> Переход, имеющий хотя бы одну входящую событийную дугу, называется форсируемым <...>