Моделирование и анализ информационных систем (Dec 2011)
Inhibitor Petri Net that Executes an Arbitrary Given Markov Normal Algorithm
Abstract
The inhibitor Petri net with a fixed structure that executes an arbitrary given Markov normal algorithm was constructed. The algorithm and its input string are encoded by nonnegative integer numbers and put into dedicated places of the Petri net which implements the application of algorithm productions over the string of symbols. The rules of the sequential, branching and cyclic processes encoding by Petri nets were used. At the completion of the net work, the output string is restored (decoded) from the integer form of representation. Within the paradigm of computations on Petri nets the net built provides the compatibility of systems.