Модифицированные временные сети Петри и автоматизация моделирования дискретных потоковых систем

Статья посвящена вопросам автоматизации моделирования дискретных потоковых систем с целью оценки их различных операционных характеристик. В качестве формального представления исследуемой предметной области рассматривается введенный автором класс модифицированных временных сетей Петри. Рассмотрен общий подход к формализации дискретных потоковых систем в терминах данного класса сетей и автоматизации планирования вычислений на них (имитаций функционирования).