Cтраница 1
Автоматные сети являются моделями дискретных процессов без их распараллеливания, но допускают альтернативные входные и выходные переходы по отношению к каждой позиции. [1]
А-сети ( автоматные сети) - каждый переход такой СП должен иметь не более одной входной и одной выходной позиции. [2]
К классу правильных сетей Петри относятся автоматные сети, маркированные графы, сети Петри свободного выбора и сети Петри общего вида. [3]
Достаточно полно изучены только два главных подкласса модели сетей Петри: автоматные сети Петри и маркированные графы. Кроме того, Хэк [107] изучил подкласс, названный сетями Петри со свободным выбором, и сформулировал предположения, что другой подкласс, правильные сети Петри могут иметь хорошие свойства с точки зрения разрешимости. Мы представим каждый из этих классов и укажем их основные свойства, достоинства и недостатки. [4]
Критерий безопасности живой свободной сети связан с покрытием ее замкнутыми подсетями, которые представляют собой сильно связные автоматные сети, каждая из которых содержит лишь одну фишку. Заметим, что такая подсеть сама является живой и безопасной сетью. Поэтому можно сказать, что свободная сеть жива и безопасна, если существует покрытие ее живыми и безопасными подсетями. [5]
Рассмотрены вопросы разработки и анализа информационно-вычислительных сетей различного назначения, современные методы и средства моделирования ( сети Петри, автоматные сети, языки имитационного моделирования), использования аппарата теории массового обслуживания в приложении к сетям, аналитического и имитационного моделирования процессов и элементов сетей ( каналов, буферов, коммутаторов сети передачи данных), многоуровневых систем управления протоколами. Изложены основные положения регрессионного и корреляционного анализа. В конце каждой главы приведены контрольные вопросы, в приложении - программные модели. [6]
Некоторые свойства автоматных сетей Петри очевидны. Прежде всего автоматные сети Петри - строго сохраняющие. Это означает, что число фишек в такой сети никогда не изменяется, и мы получаем таким образом конечную систему. Отсюда следует, что дерево достижимости для автоматной сети Петри является конечным, и, следовательно, все вопросы анализа для автоматных сетей Петри разрешимы. Фактически автоматные сети Петри эквивалентны автоматам, как они определяются в теории автоматов и формальных языков ( см. разд. Таким образом, эти модели имеют ограниченный интерес, несмотря на их мощность разрешения, из-за ограниченной мощности моделирования конечных автоматов. [7]
В ряде случаев при определении автоматной сети накладывается дополнительное ограничение, чтобы ее начальная разметка имела ровно одну фишку. В то же время автоматные сети позволяют изображать конфликтные ситуации, когда одно и то же место-условие является входным ( или выходным) для нескольких переходов-событий. [8]
Это непосредственно следует из конечности графа разметок любой автоматной сети. Этот граф представляет собой не что иное, как граф конечного автомата, в котором множество состояний образовано множеством достижимых в сети разметок, а алфавит - символами переходов сети. Поэтому на автоматные сети распространяются все результаты теории конечных автоматов, и изучать этот класс в рамках теории сетей Петри не имеет смысла. [9]
Некоторые свойства автоматных сетей Петри очевидны. Прежде всего автоматные сети Петри - строго сохраняющие. Это означает, что число фишек в такой сети никогда не изменяется, и мы получаем таким образом конечную систему. Отсюда следует, что дерево достижимости для автоматной сети Петри является конечным, и, следовательно, все вопросы анализа для автоматных сетей Петри разрешимы. Фактически автоматные сети Петри эквивалентны автоматам, как они определяются в теории автоматов и формальных языков ( см. разд. Таким образом, эти модели имеют ограниченный интерес, несмотря на их мощность разрешения, из-за ограниченной мощности моделирования конечных автоматов. [10]