Inhibitor Petri Net that Executes an Arbitrary Given Markov Normal Algorithm
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 producti...
Main Author: | D. A. Zaitsev |
---|---|
Format: | Article |
Language: | English |
Published: |
Yaroslavl State University
2011-12-01
|
Series: | Моделирование и анализ информационных систем |
Subjects: | |
Online Access: | https://www.mais-journal.ru/jour/article/view/1100 |
Similar Items
-
An algorithm of converting business-process models into monochrome Petri nets on the basis of matrix formulas
by: M. G. Dorrer
Published: (2010-06-01) -
Optimization of Calculating Invariants in Petri Nets to Support the Creation of Integration Testing Scenarios
by: M. G. Dorrer, et al.
Published: (2015-02-01) -
Optimization of Calculating Invariants in Petri Nets to Support the Creation of Integration Testing Scenarios
by: M. G. Dorrer, et al.
Published: (2012-01-01) -
Verification of Computing Grids with Special Edge Conditions by Infinite Petri Nets
by: D. A. Zaitsev
Published: (2015-03-01) -
Verification of Computing Grids with Special Edge Conditions by Infinite Petri Nets
by: D. A. Zaitsev
Published: (2012-01-01)