BEGIN:VCALENDAR VERSION:2.0 PRODID:IEEE vTools.Events//EN CALSCALE:GREGORIAN BEGIN:VTIMEZONE TZID:Asia/Calcutta BEGIN:STANDARD DTSTART:19451014T230000 TZOFFSETFROM:+0630 TZOFFSETTO:+0530 TZNAME:IST END:STANDARD END:VTIMEZONE BEGIN:VEVENT DTSTAMP:20200920T090932Z UID:6FDE8607-FFA5-4A5F-B7F7-A28A0548AC26 DTSTART;TZID=Asia/Calcutta:20200522T150000 DTEND;TZID=Asia/Calcutta:20200522T161000 DESCRIPTION:A composition and analysis technique was developed for investig ation of infinite Petri nets with\nregular structure\, introduced for mode ling networks\, clusters\, computing grids\, and clouds that also\nconcern s cellular automata and biological systems. A case study of a square grid structure\ncomposition and analysis is presented. Parametric description o f Petri nets\, parametric\nrepresentation of infinite systems for the calc ulation of place/transition invariants\, and solving them\nin parametric f orm allowed the invariance proof for infinite Petri net models. Some addit ional\nanalysis techniques based on graphs of transmissions and blockings are presented. Further\ngeneralization on multidimensional structures such as hypercube and hypertorus implemented.\nGenerators of Petri net models developed and put on GitHub for public use. Complex deadlocks\nwere disclo sed and a possibility of network blocking via ill-intentioned traffic reve aled. Prospects\nfor further development of infinite Petri net theory are outlined.\n\nBasic references\n\n1. [Zaitsev D.A\, Shmeleva T.R.\, Groote J.F.\, Verification of Hypertorus Communication Grids by Infinite](https:/ /ieeexplore.ieee.org/document/8707130)\n[Petri Nets and Process Algebra\, IEEE/CAA Journal of Automatica Sinica\, 6(3)\, 2019\, 733-742.](https://ie eexplore.ieee.org/document/8707130)\n2. [Zaitsev D.A.\, Shmeleva T.R.\, Sl eptsov F.I.\, Reenterable Colored Petri Net Models of Networks\, Grids\,]( https://ieeexplore.ieee.org/document/8611840)\n[and Clouds: Case Study for Provider Backbone Bridge. 26th Telecommunications Forum (TELFOR 2018)\,]( https://ieeexplore.ieee.org/document/8611840)\n[November 20-21\, 2018\, Be lgrade\, Serbia.](https://ieeexplore.ieee.org/document/8611840)\n3. [Zaits ev D.A. Simulating Cellular Automata by Infinite Petri Nets\, Journal of C ellular Automata. 13(1-2)\,](http://www.oldcitypublishing.com/journals/jca -home/jca-issue-contents/jca-volume-13-number-1-2-2018/jca-13-1-2-p-121-14 4/)\n[2018\, 121-144.](http://www.oldcitypublishing.com/journals/jca-home/ jca-issue-contents/jca-volume-13-number-1-2-2018/jca-13-1-2-p-121-144/)\n4 . [Zaitsev D.A.\, Zaitsev I.D.\, Shmeleva T.R.\, Infinite Petri Nets: Part 2\, Modeling Triangular\, Hexagonal\,](https://www.complex-systems.com/ab stracts/v26_i04_a03/)\n[Hypercube and Hypertorus Structures\, Complex Syst ems\, 26(4)\, 2017\, 341-371.](https://www.complex-systems.com/abstracts/v 26_i04_a03/)\n5. [Zaitsev D.A.\, Zaitsev I.D.\, Shmeleva T.R. Infinite Pet ri Nets: Part 1\, Modeling Square Grid Structures\,](https://www.complex-s ystems.com/abstracts/v26_i02_a04/)\n[Complex Systems\, 26(2)\, 2017\, 157- 195.](https://www.complex-systems.com/abstracts/v26_i02_a04/)\n6. [Zaitsev D.A. Verification of Computing Grids with Special Edge Conditions by Infi nite Petri Nets\,](http://dx.doi.org/10.3103/S0146411613070262)\n[Automati c Control and Computer Sciences\, 2013\, Vol. 47\, No. 7\, pp. 403–412.] (http://dx.doi.org/10.3103/S0146411613070262)\n7. [Z](http://www.springerl ink.com/openurl.asp?genre=article&id=doi:10.1007/s10559-010-9189-y)[aitsev D.A.\, Shmeleva T.R. Verification of hypercube communication structures v ia parametric Petri](http://dx.doi.org/10.1007/s10559-010-9189-y)\n[nets\, Cybernetics and Systems Analysis\, Volume 46\, Number 1 (2010)\, 105-114. ](http://dx.doi.org/10.1007/s10559-010-9189-y)\n8. [Shmeleva T.R.\, Zaitse v D.A.\, Zaitsev I.D. Verification of square communication grid protocols via infinite](http://daze.ho.ua/MESM2009szz.pdf)\n[Petri nets\, MESM 2009 - 10th Middle Eastern Simulation Multiconference\, September 27-29\, Beiru t\,](http://daze.ho.ua/MESM2009szz.pdf)\n[Lebanon\, p. 53-59.](http://daze .ho.ua/MESM2009szz.pdf)\n\nSpeaker(s): Dr. Dmitry A. Zaitsev\, \n\nAgenda: \nTo join webinar at zoom\, Kindly use the following id and password ment ioned below.\nDate : 22/05/2020\nTime : 03:00 PM - 04:00 PM (Indian Timing ) GMT+5:30\n\nJoin Zoom Meeting\nhttps://gpeducation.zoom.us/j/99255872770 ?pwd=RVU3WHlORmZlZGJjWlRkQzVtV3BsQT09\n\nMeeting ID: 992 5587 2770\nPasswo rd: 987245\n\nSRM INSTITUTE OF SCIENCE AND TECHNOLOGY GHAZIABAD INDIA \, G haziabad\, Uttar Pradesh\, India\, 201204 LOCATION:SRM INSTITUTE OF SCIENCE AND TECHNOLOGY GHAZIABAD INDIA \, Ghaziab ad\, Uttar Pradesh\, India\, 201204 ORGANIZER:rohitapece@gmail.com SEQUENCE:9 SUMMARY:Webinar on Modeling Grid and Cloud Computing Systems by Infinite Pe tri Nets URL;VALUE=URI:https://events.vtools.ieee.org/m/230748 X-ALT-DESC:Description: <br /><p>A composition and analysis technique was d eveloped for investigation of infinite Petri nets with<br />regular struct ure\, introduced for modeling networks\, clusters\, computing grids\, and clouds that also<br />concerns cellular automata and biological systems. A case study of a square grid structure<br />composition and analysis is pr esented. Parametric description of Petri nets\, parametric<br />representa tion of infinite systems for the calculation of place/transition invariant s\, and solving them<br />in parametric form allowed the invariance proof for infinite Petri net models. Some additional<br />analysis techniques ba sed on graphs of transmissions and blockings are presented. Further<br />g eneralization on multidimensional structures such as hypercube and hyperto rus implemented.<br />Generators of Petri net models developed and put on GitHub for public use. Complex deadlocks<br />were disclosed and a possibi lity of network blocking via ill-intentioned traffic revealed. Prospects<b r />for further development of infinite Petri net theory are outlined.</p> \n<p>Basic references</p>\n<p>1. <a href="https://ieeexplore.ieee.org/docu ment/8707130">Zaitsev D.A\, Shmeleva T.R.\, Groote J.F.\, Verification of Hypertorus Communication Grids by Infinite</a><br /><a href="https://ieeex plore.ieee.org/document/8707130">Petri Nets and Process Algebra\, IEEE/CAA Journal of Automatica Sinica\, 6(3)\, 2019\, 733-742.</a> <br />2. <a hre f="https://ieeexplore.ieee.org/document/8611840">Zaitsev D.A.\, Shmeleva T .R.\, Sleptsov F.I.\, Reenterable Colored Petri Net Models of Networks\, G rids\,</a><br /><a href="https://ieeexplore.ieee.org/document/8611840">and Clouds: Case Study for Provider Backbone Bridge. 26th Telecommunications Forum (TELFOR 2018)\,</a><br /><a href="https://ieeexplore.ieee.org/docume nt/8611840">November 20-21\, 2018\, Belgrade\, Serbia.</a><br />3. <a href ="http://www.oldcitypublishing.com/journals/jca-home/jca-issue-contents/jc a-volume-13-number-1-2-2018/jca-13-1-2-p-121-144/">Zaitsev D.A. Simulating Cellular Automata by Infinite Petri Nets\, Journal of Cellular Automata. 13(1-2)\,</a><br /><a href="http://www.oldcitypublishing.com/journals/jca- home/jca-issue-contents/jca-volume-13-number-1-2-2018/jca-13-1-2-p-121-144 /">2018\, 121-144.</a><br />4. <a href="https://www.complex-systems.com/ab stracts/v26_i04_a03/">Zaitsev D.A.\, Zaitsev I.D.\, Shmeleva T.R.\, Infini te Petri Nets: Part 2\, Modeling Triangular\, Hexagonal\,</a><br /><a href ="https://www.complex-systems.com/abstracts/v26_i04_a03/">Hypercube and Hy pertorus Structures\, Complex Systems\, 26(4)\, 2017\, 341-371.</a><br />5 . <a href="https://www.complex-systems.com/abstracts/v26_i02_a04/">Zaitsev D.A.\, Zaitsev I.D.\, Shmeleva T.R. Infinite Petri Nets: Part 1\, Modelin g Square Grid Structures\,</a><br /><a href="https://www.complex-systems.c om/abstracts/v26_i02_a04/">Complex Systems\, 26(2)\, 2017\, 157-195.</a><b r />6. <a href="http://dx.doi.org/10.3103/S0146411613070262">Zaitsev D.A. Verification of Computing Grids with Special Edge Conditions by Infinite P etri Nets\,</a><br /><a href="http://dx.doi.org/10.3103/S0146411613070262" >Automatic Control and Computer Sciences\, 2013\, Vol. 47\, No. 7\, pp. 40 3&ndash\;412.</a><br />7. <a href="http://www.springerlink.com/openurl.asp ?genre=article&amp\;id=doi:10.1007/s10559-010-9189-y">Z</a><a href="http:/ /dx.doi.org/10.1007/s10559-010-9189-y">aitsev D.A.\, Shmeleva T.R. Verific ation of hypercube communication structures via parametric Petri</a><br /> <a href="http://dx.doi.org/10.1007/s10559-010-9189-y">nets\, Cybernetics a nd Systems Analysis\, Volume 46\, Number 1 (2010)\, 105-114.</a><br />8. < a href="http://daze.ho.ua/MESM2009szz.pdf">Shmeleva T.R.\, Zaitsev D.A.\, Zaitsev I.D. Verification of square communication grid protocols via infin ite</a><br /><a href="http://daze.ho.ua/MESM2009szz.pdf">Petri nets\, MESM 2009 - 10th Middle Eastern Simulation Multiconference\, September 27-29\, Beirut\,</a><br /><a href="http://daze.ho.ua/MESM2009szz.pdf">Lebanon\, p . 53-59.</a></p><br /><br />Agenda: <br /><p>To join webinar at zoom\, Kin dly use the following id and password mentioned below.</p>\n<div dir="auto "><strong>Date : 22/05/2020</strong></div>\n<div dir="auto"><strong>Time : 03:00 PM - 04:00 PM (Indian Timing) GMT+5:30</strong></div>\n<div dir="au to"><strong>&nbsp\;</strong></div>\n<div dir="auto">Join Zoom Meeting<br / ><a href="https://gpeducation.zoom.us/j/99255872770?pwd=RVU3WHlORmZlZGJjWl RkQzVtV3BsQT09" target="_blank" rel="noopener" data-saferedirecturl="https ://www.google.com/url?q=https://gpeducation.zoom.us/j/99255872770?pwd%3DRV U3WHlORmZlZGJjWlRkQzVtV3BsQT09&amp\;source=gmail&amp\;ust=1590043314538000 &amp\;usg=AFQjCNFMynyKtYfW5NAILDX8MOlYLeU8GA">https://gpeducation.zoom.us/ j/<wbr />99255872770?pwd=<wbr />RVU3WHlORmZlZGJjWlRkQzVtV3BsQT<wbr />09</a ><br /><br /><strong>Meeting ID: 992 5587 2770<br />Password: 987245</stro ng></div> END:VEVENT END:VCALENDAR