раскрашенная сеть петри

Отличительными чертами этих систем является:

"Реактивными" системами обычно являются программно-аппаратные комплексы, где аппаратная составляющая используется для согласования управляющей (программной) логики с реальной средой (механизмы, датчики и т.п.). Часто для повышения производительности таких систем или в целях получения независимости работы их подсистем применяют параллельное выполнение задач, как на программном, так и на аппаратном уровне.

Под "реактивной" подразумевается программно-аппаратная система реального времени, осуществляющая прием внешних входных воздействий, обработку их в соответствии с внутренним алгоритмом и выдачу необходимых выходных реакций. Природа появления входных воздействий - событийная, сильно зависящая от внешних факторов, в то же время, формирование выходных реакций должно быть однозначным, установленным на стадии разработки. Часто при моделировании таких систем применяют теорию конечных автоматов, основанную на понятиях состояния и перехода. Интуитивно, состояние можно представить как некое положение внутреннего "механизма" системы, обеспечивающее предопределенные выходные характеристики. Изменение положения этого внутреннего "механизма" достигается за счет внешних воздействий на него через систему специальных преобразователей.

Особенности "реактивных" систем

В статье рассматривается ряд вопросов, связанных с моделированием программно-аппаратных архитектур систем реального времени, имеющих множество параллельно выполняемых однотипных процессов. В качестве инструмента моделирования раскрашенными сетями Петри (Coloured Petri Net) используется программа CPNTools.

Моделирование программно-аппаратных "реактивных" систем раскрашенными сетями Петри

разноликое программирование

Моделирование программно-аппаратных "реактивных" систем раскрашенными сетями Петри