Cтраница 4
Этот объемный отчет представляет результаты Проекта теории информационных систем, которые касаются определения необходимых описательных средств для моделирования, оценки и реализации систем. Сети Петри занимают основную часть этой работы и представлены здесь детально. Понятие сети Петри само по себе является еще безопасной сетью. Это привело к большому объему работ по графам событий и системам событий, подходу к представлению и анализу последовательностей запусков, которые применимы к безопасным сетям. [46]