Послать статью по эл. почте 
Верификация вычислительных решеток с особыми краевыми условиями бесконечными сетями Петри
https://doi.org/10.18255/1818-1015-2012-6-21-33
Аннотация
Представлена методика верификации вычислительных решеток с помощью нахождения инвариантов бесконечных сетей Петри. Построены модели структур квадратных решеток в форме параметрических сетей Петри для таких краевых условий, как соединение краев и усеченные устройства. По параметрическим сетям Петри построены бесконечные системы линейных алгебраических уравнений для вычисления p-инвариантов и получены их параметрические ре- шения. P-инвариантные сети Петри являются структурно консервативными и ограниченными, что, вместе с живостью, является свойствами моделей идеальных систем. Исследование живости модели на основе анализа сифонов и ловушек может быть выполнено с помощью p-инвариантов модифицированных сетей.
Ключ. слова
Об авторе
Дмитрий Анатольевич ЗайцевРоссия
доктор технических наук, профессор,
г. Одесса, Украина,
сайт: http : //member.acm.org/∼daze, http : //daze.ho.ua .
Основные научные результаты: универсальная сеть Петри; анализ бесконечных сетей Петри с регулярной структурой; кланы систем линейных алгебраических уравнений (функциональные подсети); композиционный анализ сетей Петри; функциональная эквивалентность, передаточная функция и эквивалентные преобразования временных сетей Петри; временные сети Петри с многоканальными переходами, уравнение состояний, частичные инварианты; синтез функций непрерывной (нечеткой) логики, заданных таблично.
Список литературы
1. Grid Computing: Towards a Global Interconnected Infrastructure / Ed. Preve N.P. Springer, 2011. 312 p.
2. Murata T. Petri Nets: Properties, Analysis and Applications // Proc. of the IEEE. 1989. Vol. 77, no. 4. P. 541–580.
3. Silva M., Colom J. M. On the Computation of Structural Synchronic Invariants in P/T Nets // Springer. LNCS. 1988. Vol. 340. P.387–417.
4. Ачасова С.М., Бандман О.Л. Корректность параллельных вычислительных процессов. М.: Наука, 1990. 253 с.
5. Berthelot G., Terrat R. Petri Nets Theory for the Correctness of Protocols // IEEE Trans. on Communications. 1982. Vol. 30, № 12. P. 2497–2505.
6. Diaz M. Modelling and Analysis of Communication and Cooperation Protocols Using Petri Net Based Model // Computer Networks. 1982, №6. P. 419–441.
7. Z. W. Li, M. C. Zhou Deadlock Resolution in Automated Manufacturing Systems. Springer, 2010. 234 p.
8. Zaitsev D.A., Zaitsev I.D. Verification of Ethernet protocols via parametric composition of Petri net // INCOM’2006: 12th IFAC/IFIP/IFORS/IEEE/IMS Symposium Information Control Problems in Manufacturing, May 17–19 2006, SaintEtienne, France. P. 261–267.
9. Шмелева Т.Р. Верификация протоколов коммутируемой Ethernet бесконечными сетями Петри // Труды ДУIКТ: Особливий випуск. Київ, 2007. С. 96–102.
10. Shmeleva T.R., Zaitsev D.A., Zaitsev I.D. Analysis of Square Communication Grids via Infinite Petri Nets // Збiрник Наукових праць ОНАЗ iм. О.С. Попова. 2009, № 1. С. 27–35.
11. Зайцев Д.А., Шмелева Т.Р. Верификация коммуникационных структур гиперкуба параметрическими сетями Петри // Кибернетика и системный анализ. 2010. №1. С. 119–128.
12. Shmeleva T.R. Proving Consistency of Petri Net Grid Models // Book of Abstracts of the International Scientific Conference on Computer Algebra and Information Technology, August 20-26, 2012. Odessa, Ukraine, 2012. P. 83–86.
13. Зайцев Д.А., Лi Ж.В., Лiтвiн Д.О., Хоу I.Ф. Обчислення сифонiв сiтей Петрi через композицiю кланiв // Науковий вiсник Мiжнародного гуманiтарного унiверситету: серiя IТтаУП. 2012. Вип. 4. С. 32–44.
14. Berthomieu B., Ribet O.-P., Vernadat F. The tool TINA - construction of abstract state space for Petri nets and Time Petri nets // International Journal of Production Research. 2004. Vol. 42, №14. P. 2741–2756 (http://www.laas.fr/tina).
Дополнительные файлы
Для цитирования: Зайцев Д.А. Верификация вычислительных решеток с особыми краевыми условиями бесконечными сетями Петри. Моделирование и анализ информационных систем. 2012;19(6):21-33. https://doi.org/10.18255/1818-1015-2012-6-21-33
For citation: Zaitsev D.A. Verification of Computing Grids with Special Edge Conditions by Infinite Petri Nets. Modeling and Analysis of Information Systems. 2012;19(6):21-33. (In Russ.) https://doi.org/10.18255/1818-1015-2012-6-21-33
Обратные ссылки
- Обратные ссылки не определены.
