Special Issue of International Journal of Parallel, Emergent and Distributed Systems: Petri/Sleptsov Net Based Technology of Programming for Parallel, Emergent and Distributed Systems
Dmitry Zaitsev <zsoftua-/[email protected]> Sat, 23 Jan 2021 11:32:19 +0000 (UTC)
| Newsgroups | gmane.science.mathematics.logic.acl2.general,gmane.comp.lang.lambda-prolog,gmane.comp.science.types.announce,gmane.comp.lang.caml.inria,gmane.comp.mathematics.hol,gmane.science.mathematics.logic.coq.club |
|---|---|
| Message-ID | <[email protected]> |
------=_Part_4344593_1990740263.1611401539831 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable =20 - International Journal of Parallel, Emergent and Distributed Systems = =20 https://www.tandfonline.com/toc/GPAA20/current?utm_source=3DCPB&utm_medium= =3Dcms&utm_campaign=3DJPG15743 =20 =20 Special Issue:=C2=A0Petri/Sleptsov Net Based Technology of Programming for = Parallel, Emergent and Distributed Systems =20 Special Issue Editor(s)Dmitry A. Zaitsev, Odessa State Environmental Univer= [email protected] =20 Petri/Sleptsov Net Based Technology of Programming for Parallel, Emergent a= nd Distributed SystemsGraphical programming languages are competing with tr= aditional textual programming languages both in specific domains, for insta= nce for programmable logical controllers, and for general purposes. Advanta= ges of graphical languages have been proven by success of R-technology of p= rogramming and Drakon technology applied for space-shuttle project Buran. A= n advantage of a Petri net graph as a concurrent program skeleton is the de= veloped for years toolset for the formal verification of concurrent program= s. One research direction considers Petri net elements, in majority cases t= ransitions, loaded by procedures written in a textual language. There are s= pecific classes of nested nets that represent agent approach and object net= s that allow encapsulation of objects. A class of infinite Petri nets is cl= osely connected with cellular automata. Recently introduced generalization = of a Petri net, called a Sleptsov net, runs fast and allows homogeneous mas= s parallel computations with fine granulation that opens prospects for hype= rperformance at the expense of avoiding traditional memory-processor bottle= neck using computing memory implementations. Sleptsov net program is entire= ly graphical and uses textual inscriptions as comments only. The Special Is= sue covers a wide range of application area including systems control, nume= rical solving partial differential equations, environmental and cybersecuri= ty tasks, fuzzy systems and others. A wide range of competing and complemen= tary approaches to programming using Petri net graph is of interest to sele= ct, preserve and foster prospective findings. The basic motivation for prog= ramming in Petri/Sleptsov nets is a new kind of programming technology that= preservs original concurrency of the application area, formal techniques f= or concurrent program verification, and hyperperformance of mass parallel c= omputations with fine granulation, especially when specialized hardware is = designed to run a Peri/Sleptsov net program. =20 Topics of interest include but are not limited to: =20 Technology of programming in Petri and Sleptsov netsArchitecture of fast ma= ssively parallel processor of Petri/Sleptsov netsCompiling and linking Petr= i/Sleptsov net programsOperating systems of a Petri/Sleptsov net computerAp= plication of Sleptsov net programming to fast numerical solving partial dif= ferential equations and systems controlLoading Petri net graph with textual= programming languagesEntirely graphical programming in Petri/Sleptsov nets= Universal Petri and Sleptsov netsVerification of concurrent programs using = Petri netsProgramming using nested and object Petri netsSimulating of bioco= mputing, molecular and chemical computing systems by Petri/Sleptsov netsSim= ulating of amorphous computing and arrays of actuators by Petri/Sleptsov Ne= tsPetri/Sleptsov net based cybersecyrity, fast encription/decription, and k= ey exchange systemsVerification of networking and distributed systems proto= cols by Petri/Sleptsov netsComputational complexity of Petri/Sleptsov net p= rogramsSpecifying energy efficient algorithms, technology and systems by Pe= tri/Sleptsov netsPerformance evaluation of Petri/Sleptsov net programsImple= mentation of Petri/Sleptsov net processor as a memristor latticeModeling gr= id and cloud computing systems by Petri/Sleptsov netsModeling evolutionary = computing and genetic algorithms by Petri/Sleptsov netsModeling neuron netw= orks by Petri/Sleptsov netsPetri/Sleptsov net models for quantum computingP= etri/Sleptsov nets for automated manufacture systemsPetri/Sleptsov nets for= avionics =20 Submission InstructionsSelect "special issue title=E2=80=9D when submitting= your paper to ScholarOne =20 Instructions for Authorshttps://www.tandfonline.com/action/authorSubmission= ?show=3Dinstructions&journalCode=3Dgpaa20&utm_source=3DCPB&utm_medium=3Dcms= &utm_campaign=3DJPG15743 =20 =20 Manuscript deadline31 March 2021 - =20 Sincerely, Dmitry ZaitsevDr.Sci., Professor,Senior Member of ACM and IEEEhttp://daze.h= o.ua=20 Your articles are welcome to our SI:https://think.taylorandfrancis.com/spec= ial_issues/petri-sleptsov-net-based-technology-programming-parallel-emergen= t-distributed-systems/?utm_source=3DTFO&utm_medium=3Dcms&utm_campaign=3DJPG= 15743=C2=A0 ------=_Part_4344593_1990740263.1611401539831 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable <html><head></head><body><div class=3D"ydp56f6bc86yahoo-style-wrap" style= =3D"font-family:Helvetica Neue, Helvetica, Arial, sans-serif;font-size:16px= ;"><div><div><div data-test-id=3D"focus-group"><ul class=3D"ydpe0eacc91hd_n= ydpe0eacc91M_0 ydpe0eacc91X_0" data-test-id=3D"cards"><li class=3D"ydpe0ea= cc91m_Z12nDQf ydpe0eacc91D_F ydpe0eacc91ek_BB ydpe0eacc91ir_0"><div data-te= st-id=3D"message-view" data-test-expanded=3D"true" class=3D"ydpe0eacc91p_R = ydpe0eacc91b_2w4l8N ydpe0eacc91I_52qC ydpe0eacc91em_N ydpe0eacc91X_fq7 ydpe= 0eacc91N_6LEV ydpe0eacc91ir3_Z1tiXR3 ydpe0eacc91it3_689y ydpe0eacc91j_ZlOSb= d ydpe0eacc91message-view" data-iskeynav=3D"true" style=3D"outline-width: 2= px !important;"><div data-test-id=3D"message-body-container"><div data-test= -id=3D"message-view-body" class=3D"ydpe0eacc91I_52qC ydpe0eacc91D_FY ydpe0e= acc91W_6D6F" style=3D"width: 614.4px;"><div class=3D"ydpe0eacc91msg-body yd= pe0eacc91P_wpofO ydpe0eacc91mq_AS" data-test-id=3D"message-view-body-conten= t"><div class=3D"ydpe0eacc91jb_0 ydpe0eacc91X_6MGW ydpe0eacc91N_6Fd5"><div = id=3D"ydpe0eacc91yiv5235314908"><div class=3D"ydpe0eacc91yiv5235314908ydp4a= 515e1fyahoo-style-wrap"><div dir=3D"ltr"><div><div>International Journal of= Parallel, Emergent and Distributed Systems<br></div><div dir=3D"ltr"><a hr= ef=3D"https://www.tandfonline.com/toc/GPAA20/current?utm_source=3DCPB&u= tm_medium=3Dcms&utm_campaign=3DJPG15743" rel=3D"nofollow" target=3D"_bl= ank">https://www.tandfonline.com/toc/GPAA20/current?utm_source=3DCPB&ut= m_medium=3Dcms&utm_campaign=3DJPG15743</a><br></div><div><br></div><div= dir=3D"ltr">Special Issue: Petri/Sleptsov Net Based Technology of Pro= gramming for Parallel, Emergent and Distributed Systems</div><div dir=3D"lt= r"><br></div><div dir=3D"ltr">Special Issue Editor(s)</div><div>Dmitry A. Z= aitsev, Odessa State Environmental University</div><div>[email protected]</div><= div><br></div><div dir=3D"ltr"><div><div>Petri/Sleptsov Net Based Technolog= y of Programming for Parallel, Emergent and Distributed Systems</div><div>G= raphical programming languages are competing with traditional textual progr= amming languages both in specific domains, for instance for programmable lo= gical controllers, and for general purposes. Advantages of graphical langua= ges have been proven by success of R-technology of programming and Drakon t= echnology applied for space-shuttle project Buran. An advantage of a Petri = net graph as a concurrent program skeleton is the developed for years tools= et for the formal verification of concurrent programs. One research directi= on considers Petri net elements, in majority cases transitions, loaded by p= rocedures written in a textual language. There are specific classes of nest= ed nets that represent agent approach and object nets that allow encapsulat= ion of objects. A class of infinite Petri nets is closely connected with ce= llular automata. Recently introduced generalization of a Petri net, called = a Sleptsov net, runs fast and allows homogeneous mass parallel computations= with fine granulation that opens prospects for hyperperformance at the exp= ense of avoiding traditional memory-processor bottleneck using computing me= mory implementations. Sleptsov net program is entirely graphical and uses t= extual inscriptions as comments only. The Special Issue covers a wide range= of application area including systems control, numerical solving partial d= ifferential equations, environmental and cybersecurity tasks, fuzzy systems= and others. A wide range of competing and complementary approaches to prog= ramming using Petri net graph is of interest to select, preserve and foster= prospective findings. The basic motivation for programming in Petri/Slepts= ov nets is a new kind of programming technology that preservs original conc= urrency of the application area, formal techniques for concurrent program v= erification, and hyperperformance of mass parallel computations with fine g= ranulation, especially when specialized hardware is designed to run a Peri/= Sleptsov net program.</div><div><br></div><div>Topics of interest include b= ut are not limited to:</div><div><br></div><div>Technology of programming i= n Petri and Sleptsov nets</div><div>Architecture of fast massively parallel= processor of Petri/Sleptsov nets</div><div>Compiling and linking Petri/Sle= ptsov net programs</div><div>Operating systems of a Petri/Sleptsov net comp= uter</div><div>Application of Sleptsov net programming to fast numerical so= lving partial differential equations and systems control</div><div>Loading = Petri net graph with textual programming languages</div><div>Entirely graph= ical programming in Petri/Sleptsov nets</div><div>Universal Petri and Slept= sov nets</div><div>Verification of concurrent programs using Petri nets</di= v><div>Programming using nested and object Petri nets</div><div>Simulating = of biocomputing, molecular and chemical computing systems by Petri/Sleptsov= nets</div><div>Simulating of amorphous computing and arrays of actuators b= y Petri/Sleptsov Nets</div><div>Petri/Sleptsov net based cybersecyrity, fas= t encription/decription, and key exchange systems</div><div>Verification of= networking and distributed systems protocols by Petri/Sleptsov nets</div><= div>Computational complexity of Petri/Sleptsov net programs</div><div>Speci= fying energy efficient algorithms, technology and systems by Petri/Sleptsov= nets</div><div>Performance evaluation of Petri/Sleptsov net programs</div>= <div>Implementation of Petri/Sleptsov net processor as a memristor lattice<= /div><div>Modeling grid and cloud computing systems by Petri/Sleptsov nets<= /div><div>Modeling evolutionary computing and genetic algorithms by Petri/S= leptsov nets</div><div>Modeling neuron networks by Petri/Sleptsov nets</div= ><div>Petri/Sleptsov net models for quantum computing</div><div>Petri/Slept= sov nets for automated manufacture systems</div><div>Petri/Sleptsov nets fo= r avionics</div></div><br></div></div><div dir=3D"ltr"><div><div>Submission= Instructions</div><div>Select "special issue title=E2=80=9D when submittin= g your paper to ScholarOne</div></div><br></div><div dir=3D"ltr">Instructio= ns for Authors</div><div dir=3D"ltr"><a href=3D"https://www.tandfonline.com= /action/authorSubmission?show=3Dinstructions&journalCode=3Dgpaa20&u= tm_source=3DCPB&utm_medium=3Dcms&utm_campaign=3DJPG15743" rel=3D"no= follow" target=3D"_blank">https://www.tandfonline.com/action/authorSubmissi= on?show=3Dinstructions&journalCode=3Dgpaa20&utm_source=3DCPB&ut= m_medium=3Dcms&utm_campaign=3DJPG15743</a><br></div></div><div dir=3D"l= tr"><span style=3D"font-family: Helvetica, Arial, sans-serif;"><br></span><= /div><div dir=3D"ltr"><div>Manuscript deadline</div><div>31 March 2021</div= ></div></div></div></div></div></div></div></div></li><li class=3D"ydpe0eac= c91m_Z12nDQf ydpe0eacc91D_F ydpe0eacc91ek_BB ydpe0eacc91ir_0"><div dir=3D"l= tr" data-setdir=3D"false"><br></div></li></ul></div></div><div><br></div><d= iv class=3D"ydp56f6bc86signature"><div style=3D"font-size:16px;font-family:= Helvetica, Arial, sans-serif;"><div>Sincerely,</div><div><br></div><div>Dmi= try Zaitsev</div><div>Dr.Sci., Professor,</div><div>Senior Member of ACM an= d IEEE</div><div><a href=3D"http://daze.ho.ua" rel=3D"nofollow" target=3D"_= blank">http://daze.ho.ua</a> </div><div><br></div><div dir=3D"ltr"><div cla= ss=3D"ydp41672a4pasted-link"><div>Your articles are welcome to our SI:</div= ><div><a href=3D"https://think.taylorandfrancis.com/special_issues/petri-sl= eptsov-net-based-technology-programming-parallel-emergent-distributed-syste= ms/?utm_source=3DTFO&utm_medium=3Dcms&utm_campaign=3DJPG15743" rel= =3D"nofollow" target=3D"_blank">https://think.taylorandfrancis.com/special_= issues/petri-sleptsov-net-based-technology-programming-parallel-emergent-di= stributed-systems/?utm_source=3DTFO&utm_medium=3Dcms&utm_campaign= =3DJPG15743</a> <br></div><div><br></div></div></div></div></div></div= ></div></body></html> ------=_Part_4344593_1990740263.1611401539831--