Warning: session_start(): open(C:\Windows\temp\sess_dssa9qumglfcunj0tkk3bl0ik4, O_RDWR) failed: No space left on device (28) in C:\www\lemma4.1php\login.php on line 15 Warning: session_commit(): open(C:\Windows\temp\sess_dssa9qumglfcunj0tkk3bl0ik4, O_RDWR) failed: No space left on device (28) in C:\www\lemma4.1php\login.php on line 36 Warning: session_commit(): Failed to write session data (files). Please verify that the current setting of session.save_path is correct (C:\Windows\temp) in C:\www\lemma4.1php\login.php on line 36 Сети Петри: модификации и расширения

Системам, функционирующим в режиме реального времени, наиболее адекватны модели временных СП. Существует ряд способов введения понятия времени в модели сетей Петри. Время может быть сопоставлено различным сетевым элементам: местам, переходам, дугам, фишкам, шагам (множествам параллельных переходов). При этом различают временные ограничения, сопоставленные некоторому элементу временной сети Петри, и временные счетчики, введенные в модель для контроля локального или глобального времени. Временная информация может быть представлена как одним числом (что соответствует дискретному представлению времени), так и интервалом (что соответствует непрерывному представлению времени). В модели либо разрешается только одиночное срабатывание перехода, либо предполагается принцип максимального шага срабатывания (т.е. одновременного срабатывания максимально возможного количества параллельных переходов). Отдельным вопросом является наличие в модели автопараллелизма переходов (одновременного срабатывания нескольких экземпляров одного и того же перехода), а также возможность наличия в месте фишек с различными временными характеристиками. Кроме того, в разных моделях либо позволяют, либо запрещают "умирание" фишек по истечении заданного времени и т.п. Наиболее популярными стали модели, в которых временные характеристики связаны с переходами, а именно дискретно-временная модель Рамхандани-Штарке [16, 20] и непрерывно-временная модель Мерлина [13]. В модели Рамхандани [16] с каждым переходом связывается некоторое (как правило, целочисленное) значение, соответствующее длительности срабатывания перехода. Модель Мерлина [13] сопоставляет каждому переходу пару неотрицательных чисел, которые указывают на наиболее раннее и наиболее позднее времена, когда может сработать переход. Согласно работам [4, 7] по сравнению с другими временными сетевыми моделями временные сети Мерлина являются наиболее удобной и выразительной моделью для описания и изучения параллельных систем реального времени.

Следующие два раздела посвящены этим двум моделям. Материал данных разделов базируется на работах [20] и [22] соответственно.