В работе рассматривается проектирование сетей Петри с помощью структурного языка. Язык проектирования представляет описание компонент сети: переходов, мест предусловий и постусловий, описание графа, начальной разметки сети, а также приборов обслуживания. С помощью языка проектирования возможно не только создание отдельных сетей Петри, но и объединение их в соответствии с алгеброй сетей Петри.
проектирование, язык, структурный