Аннотация. В статье рассматривается новый подход к анализу программ. Он обеспечивает представление вычислительных процессов (ВП) сетями Петри (СП), который является более мощным инструментом чем конечный автомат. При этом в ВП выделяются базовые операции, называемые
Ключевые слова: вычислительный процесс, сеть Петри, макрооперация, фрагмент, сортировка простыми включениями, эмулятор сети Петри, моделирование.
Abstract. In this paper a new approach to the analysis of programs is considered. It provides a representation of computational processes (CP) Petri nets (PN), which is a more powerful tool than a finite-state automaton. In the CP are extracted basic operations, c
Keywords: computational process, Petri net, macro operation, straight insertions sorting , fragment, simulation