The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Infinite Petri Nets as Models of Grids
|
|
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
Purchase
|
Abstract
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.
|
|
|