Zobrazeno 1 - 2
of 2
pro vyhledávání: '"счётчиковые машины"'
Autor:
L. V. Dvoryansky
Publikováno v:
Труды Института системного программирования РАН, Vol 20, Iss 0 (2018)
This paper provides the analysis of the express power of Petri nets to model counters with infinite state space. The implementation relation for the counters modeling is suggested. A lack of Petri nets expression power for such modeling is shown. The
Externí odkaz:
https://doaj.org/article/9f72eb541a184739a304b9d20cc13838
Publikováno v:
Труды Института системного программирования РАН.
В статье проведен анализ моделирования в обыкновенных сетях Петри счетчиков с бесконечным числом состояний. Обоснован выбор отношения