Design efficient schemes of applied algorithms parallelization based on semantic Petri-Markov net | IEEE Conference Publication | IEEE Xplore