Semantic Petri-Markov nets for automotive algorithms transformations
Alexey N. Ivutin, Anna G. Troshina · 2018
The approach of automatic algorithms transformation into concurrent form is proposed. One is based on mathematical apparatus of stochastic Petri nets with additional semantic relations (semantic Petri-Markov nets). The authors propose the method of definition the independent blocks in the algorithm that can be executed in parallel based on the semantic and control relations between elements in the algorithm. The article describes the rules of the sequential algorithm transformation into strictly parallel implementation and implementation with taking into account the actual number of executive units. The proposed method allows making the algorithm transformation in automatic mode and could escape errors of half-automatic or manual transformation.