Аннотация


В данной работе дается определение математического аппарата сетей Петри и графа состояний, представлены найденные свойства сетей Петри: неучтенные исходные данные и потеря состояний. Предлагается способ инверсии цветных сетей Петри, направленным дугам которых свойственна смена типов данных у меток.

При инверсии сетей Петри определенной конструкции появляются ранее неучтенные состояния, которые следует считать неиспользуемыми и учесть их при выполнении анализа. При реализации инверсии с последующим построением графа состояний инвертированной сети Петри необходимо учитывать, что некоторые состояния, присущие прямому графу, не будут исследованы, поскольку соответствующая ветка, в которой они находятся, имеет свое конечное, возможно тупиковое, состояние. Таким образом, при инверсии сети Петри, граф состояний которой имеет несколько веток и условие, при котором состояния разных веток по отношению к друг другу не обладают свойством покрываемости, исследуется частично относительно графа прямой сети.

Цветные сети Петри в отличие от простых имеют возможность изменять тип данных у меток в процессе работы, т. е. прямая инверсия (изменение направления взаимосвязей у вершин сети Петри) для данного случая не подходит – предлагается правило, по которому выполняется инверсия данных сетей Петри.

 

Список литературы
1. Питерсон Дж. Теория сетей Петри и моделирование: пер. с англ. – М.: Мир, 1984. – 264 с.

2. Воевода А.А., Коротиков С.В., Саркенов Д.О. Применение сетей Петри при разработке протоколов // Научный вестник НГТУ. – 2004. – № 2 (17). – C. 183–188.

3. Коротиков С.В. Применение сетей Петри в разработке программного обеспечения центров дистанционного контроля и управления: дис. … канд. техн. наук: 05.13.11 / Новосиб. гос. техн. ун-т. – Новосибирск, 2007. – 216 с.

4. Романников Д.О., Марков А.В. Пример применения методики разра-ботки ПО с использованием UML-диаграмм и сетей Петри // Научный вестник НГТУ. – 2012. – № 1 (67). – С. 175–180.

5. Романников Д.О. Разработка программного обеспечения с применением UML диаграмм и сетей Петри для систем управления локальным оборудованием: дис. … канд. техн. наук: 05.13.11 / Новосиб. гос. техн. ун-т. – Новосибирск, 2012. – 195 с.

6. Воевода А.А., Романников Д.О. Использование UML и временных сетей Петри при разработке программного обеспечения // Сборник научных трудов НГТУ. – 2010. – № 3 (61). – C. 61–70.

7. Воевода А.А., Романников Д.О. Использование UML и временных сетей Петри в методе разработки ПО. Ч. 2 // Сборник научных трудов НГТУ. – 2010. – № 4 (62). – C. 117–126.

8. Воевода А.А., Марков А.В. Методика автоматизированного проектиро-вания программного обеспечения функционирования сложных систем на ос-нове совместного использования UML диаграмм и сетей Петри // Современ-ные технологии. Системный анализ. Моделирование. – 2014. – № 2 (42). –

С. 110–115.

9. Воевода А.А., Марков А.В., Романников Д.О. Разработка программного обеспечения: проектирование с использованием UML диаграмм и сетей Петри на примере АСУ ТП водонапорной станции // Труды СПИИРАН. – 2014. – Вып. 3 (34). – С. 218–231.

10. Марков А.В., Романников Д.О. Алгоритм автоматической трансляции диаграммы активности в сеть Петри // Доклады Академии наук высшей школы Российской Федерации. – 2014. – № 1 (22). – С. 104–112.

11. Воевода А.А., Коротиков С.В., Хассоунех В. О моделировании системы дистанционного контроля и управления информацией цветной временной сетью Петри в пакете CPN Tools: инициализация модели // Научный вестник НГТУ. – 2004. – № 3 (18). – С. 185–188.

12. Воевода А.А., Романников Д.О. Редуцирование пространства состояний сети Петри для объектов из одного класса // Научный вестник НГТУ. – 2011. – № 4 (45). – С. 146–150.

13. Марков А.В., Воевода А.А. Проверка достижимости маркировки сетей Петри при помощи инвертирования деревьев состояний для протокола передачи данных // Доклады ТУСУР. – 2014. – № 1 (31). – С. 143–148.

14. Марков А.В., Воевода А.А. Инверсия простой ординарной сети Петри // Научный вестник НГТУ. – 2013. – № 4 (53). – С. 215–218.

15. Марков А.В. Инверсия сетей Петри // Сборник научных трудов НГТУ. – 2013. – № 4 (74). – С. 97–121.