ПОИСК Статьи Чертежи Таблицы Анализ сетей Петри из "Основы автоматизированного проектирования " Анализ сложных систем на базе сетей Петри можно вьшолнять посредством имитационного моделирования СМО, представленных моделями сетей Петри. При этом задают входные потоки заявок и определяют соответствующую реакцию системы. Выходные параметры СМО рассчитывают путем обработки накопленного при моделировании статистического материала. [c.143] Возможен и другой подход к использованию сетей Петри для анализа объектов, исследуемых на системном уровне. Он не связан с имитацией процессов и основан на исследовании таких свойств сетей Петри, как ограниченность, безопасность, сохраняемость, достижимость, живость. [c.143] Ограниченность (или К-ограниченность) имеет место, если число меток в любой позиций сети не может превысить значения К. При проектировании автоматизированных систем определение Л позволяет обоснованно выбирать емкости накопителей. Возможность неограниченного роста числа меток свидетельствует об опасности неограниченного роста длин очередей. [c.143] Безопасность — частный случай ограниченности, а именно это 1-ограниченность. Если для некоторой позиции установлено, что она безопасна, то ее можно представлять одним триггером. [c.143] Сохраняемость характеризуется постоянством загрузки ресурсов, т. е. [c.143] Достижимость - характеризуется возможностью достижения маркировки Му из состояния сети, характеризуемого маркировкой М. [c.143] Живость сети Петри определяется возможностью срабатывания любого перехода при функционировании моделируемого объекта. Отсутствие живости свидетельствует либо об избыточности аппаратуры в проектируемой системе, либо о возможности возникновения зацикливаний, тупиков, блокировок. [c.143] В основе исследования перечисленных свойств сетей Петри лежит анализ достижимости. [c.143] Приведем примеры анализа достижимости. [c.144] Пример 1. Сеть Петри и граф достижимых разметок представлены на рис. 3.25. [c.144] На рисугасе вершины графа изображены в виде маркировок, дуги помечены срабатывающими переходами. Сеть является неограниченной и живой, так как метки могут накапливаться в позиции р , срабатывают все переходы, тупики отсутствуют. [c.144] Пример 2. Сеть Петри и граф достижимых разметок представлены на рис. 3.26. [c.144] моделирующая двухпроцессорную вычислительную систему с общей памятью, является безопасной, живой, все разметки достижимы. [c.144] Вернуться к основной статье