Preview

Моделирование и анализ информационных систем

Расширенный поиск

Верификация вычислительных решеток с особыми краевыми условиями бесконечными сетями Петри

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

Просмотров: 1386


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)