Simulation of concurrent process with Petri-Markov nets

Mathematical apparatus of Petri-Markov nets is described. Petri-Markov simple subnets are introduced. Structures for the simulation of parallelism based on the simple subnets are proposed. Mathematical relationships for the evaluation of the time characteristics of algorithms for a wide class of concurrent computing systems are described.

[1]  James Lyle Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[2]  C. A. Petri.  Nets, Time and Space , 1996, Theoretical Computer Science.

[3]  Kurt Jensen,et al.  Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .

[4]  Hugh Garraway.  Parallel Computer Architecture: A Hardware/Software Approach , 1999, IEEE Concurrency.

[5]  Srini Ramaswamy,et al.  Hierarchical time-extended Petri nets (H-EPNs) based error identification and recovery for multilevel systems , 1996, IEEE Trans. Syst. Man Cybern. Part B.

[6]  Christos T. Karamanolis,et al.  Elements of distributed algorithms-modeling and analysis with petri nets Wolfgang Reisig [Book review] , 1999, IEE Proceedings - Software.

[7]  Hoon Choi,et al.  Markov Regenerative Stochastic Petri Nets , 1994, Perform. Evaluation.

[8]  Francisca Santana Robles,et al.  Coloured Petri Nets Basic Concepts, Analysis Methods and Practical Use , 2015 .

[9]  Peter G. Harrison,et al.  Methodological construction of product-form stochastic Petri nets for performance evaluation , 2012, J. Syst. Softw..

[10]  Domenico Ferrari,et al.  Computer Systems Performance Evaluation , 1978 .

[11]  Wolfgang Reisig,et al.  Correctness Proofs of Distributed Algorithms , 1994, Dagstuhl Seminar on Distributed Systems.

[12]  Boris Beizer.  Micro-analysis of computer system performance , 1978 .

[13]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[14]  Nicole Propst.  Foundations Of Parallel Programming A Machine Indepedent Approach , 2016 .

[15]  Lars Michael Kristensen,et al.  Application of Coloured Petri Nets in System Development , 2003, Lectures on Concurrency and Petri Nets.

[16]  C. G. Bell.  Multis: A New Class of Multiprocessor Computers , 1985, Science.