Creator of Knowledge
Information Resources Management Association
Advancing the Concepts & Practices of Information Resources Management in Modern Organizations

Infinite Petri Nets as Models of Grids

Infinite Petri Nets as Models of Grids
View Sample PDF
Author(s): Dmitry A. Zaitsev (International Humanitarian University, Ukraine), Ivan D. Zaitsev (Ershov Institute of Informatics Systems, Russia)and Tatiana R. Shmeleva (Odessa National Academy of Telecommunications, Ukraine)
Copyright: 2015
Pages: 18
Source title: Encyclopedia of Information Science and Technology, Third Edition
Source Author(s)/Editor(s): Mehdi Khosrow-Pour, D.B.A. (Information Resources Management Association, USA)
DOI: 10.4018/978-1-4666-5888-2.ch019


View Infinite Petri Nets as Models of Grids on the publisher's website for pricing and purchasing information.


An overview of works, early published by the authors, has been done that explains peculiarities of composition and analysis technique developed for investigation of infinite Petri nets with regular structure which were introduced for modeling networks, clusters, and computing grids. Parametric description of Petri nets, parametric representation of infinite systems for calculation place/transition invariants, and solving them in parametric form allowed the invariance proof for infinite Petri net models. Complex deadlocks were disclosed and a possibility of the network blocking via ill-intended traffic revealed. Prospective directions for future research of infinite Petri nets were formulated.

Related Content

Yair Wiseman. © 2021. 11 pages.
Mário Pereira Véstias. © 2021. 15 pages.
Mahfuzulhoq Chowdhury, Martin Maier. © 2021. 15 pages.
Gen'ichi Yasuda. © 2021. 12 pages.
Alba J. Jerónimo, María P. Barrera, Manuel F. Caro, Adán A. Gómez. © 2021. 19 pages.
Gregor Donaj, Mirjam Sepesy Maučec. © 2021. 14 pages.
Udit Singhania, B. K. Tripathy. © 2021. 11 pages.
Body Bottom