- International Journal of Parallel, Emergent and Distributed Systems https://www.tandfonline.com/toc/GPAA20/current?utm_source=CPB&utm_medium=cms&utm_campaign=JPG15743 Special Issue: Petri/Sleptsov Net Based Technology of Programming for Parallel, Emergent and Distributed Systems Special Issue Editor(s)Dmitry A. Zaitsev, Odessa State Environmental [email protected] Petri/Sleptsov Net Based Technology of Programming for Parallel, Emergent and Distributed SystemsGraphical programming languages are competing with traditional textual programming languages both in specific domains, for instance for programmable logical controllers, and for general purposes. Advantages of graphical languages have been proven by success of R-technology of programming and Drakon technology applied for space-shuttle project Buran. An advantage of a Petri net graph as a concurrent program skeleton is the developed for years toolset for the formal verification of concurrent programs. One research direction considers Petri net elements, in majority cases transitions, loaded by procedures written in a textual language. There are specific classes of nested nets that represent agent approach and object nets that allow encapsulation of objects. A class of infinite Petri nets is closely connected with cellular 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 expense of avoiding traditional memory-processor bottleneck using computing memory implementations. Sleptsov net program is entirely graphical and uses textual inscriptions as comments only. The Special Issue covers a wide range of application area including systems control, numerical solving partial differential equations, environmental and cybersecurity tasks, fuzzy systems and others. A wide range of competing and complementary approaches to programming using Petri net graph is of interest to select, preserve and foster prospective findings. The basic motivation for programming in Petri/Sleptsov nets is a new kind of programming technology that preservs original concurrency of the application area, formal techniques for concurrent program verification, and hyperperformance of mass parallel computations with fine granulation, especially when specialized hardware is designed to run a Peri/Sleptsov net program. Topics of interest include but are not limited to: Technology of programming in Petri and Sleptsov netsArchitecture of fast massively parallel processor of Petri/Sleptsov netsCompiling and linking Petri/Sleptsov net programsOperating systems of a Petri/Sleptsov net computerApplication of Sleptsov net programming to fast numerical solving partial differential equations and systems controlLoading Petri net graph with textual programming languagesEntirely graphical programming in Petri/Sleptsov netsUniversal Petri and Sleptsov netsVerification of concurrent programs using Petri netsProgramming using nested and object Petri netsSimulating of biocomputing, molecular and chemical computing systems by Petri/Sleptsov netsSimulating of amorphous computing and arrays of actuators by Petri/Sleptsov NetsPetri/Sleptsov net based cybersecyrity, fast encription/decription, and key exchange systemsVerification of networking and distributed systems protocols by Petri/Sleptsov netsComputational complexity of Petri/Sleptsov net programsSpecifying energy efficient algorithms, technology and systems by Petri/Sleptsov netsPerformance evaluation of Petri/Sleptsov net programsImplementation of Petri/Sleptsov net processor as a memristor latticeModeling grid and cloud computing systems by Petri/Sleptsov netsModeling evolutionary computing and genetic algorithms by Petri/Sleptsov netsModeling neuron networks by Petri/Sleptsov netsPetri/Sleptsov net models for quantum computingPetri/Sleptsov nets for automated manufacture systemsPetri/Sleptsov nets for avionics Submission InstructionsSelect "special issue title” when submitting your paper to ScholarOne Instructions for Authorshttps://www.tandfonline.com/action/authorSubmission?show=instructions&journalCode=gpaa20&utm_source=CPB&utm_medium=cms&utm_campaign=JPG15743 Manuscript deadline31 March 2021 -
Sincerely, Dmitry ZaitsevDr.Sci., Professor,Senior Member of ACM and IEEEhttp://daze.ho.ua Your articles are welcome to our SI:https://think.taylorandfrancis.com/special_issues/petri-sleptsov-net-based-technology-programming-parallel-emergent-distributed-systems/?utm_source=TFO&utm_medium=cms&utm_campaign=JPG15743
---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
