Изложены методы построения моделей
программно-аппаратных средств на основе формализмов
раскрашенных сетей Петри и цепей Маркова. <...> В
частности, в пособии помимо общих понятий теории
моделирования и краткого описания современных методологий
и программных средств моделирования более подробно
рассмотрены два класса моделей вычислительных систем:
модели, базирующиеся на формализме сетей Петри и
вероятностные модели, основанные на теории конечных цепей
Маркова. <...> Исходя из сказанного, вычислительные системы можно
по традиции отнести к классу дискретных динамических систем,
которые называют конечными автоматами. <...> В
пособии рассмотрена одна из наиболее известных моделей этого
класса - конечные цепи Маркова. <...> Эта
разновидность сетей Петри позволяет моделировать весьма
77
сложные дискретные динамические системы, а их описание
может быть представлено с помощью специализированного
алгоритмического языка в созданной под руководством автора
системе CPN Tools. <...> Йенсена, обозначаемых
как РСП, либо CPN (Coloured Petri Net), а также некоторых их
расширений. <...> Обыкновенные сети Петри являются частным случаем
раскрашенных сетей, однако с методической точки зрения мы
сперва рассматриваем более простое описание PN и IPN, а затем
переходим к описанию CPN. <...> .
M0 - начальная маркировка позиций: M 0 : P
Функция инцидентности может быть представлена в виде
p
F F F t и фактически задает два отображения:
0 ,1,2 ,... , т.е. для каждой позиции <...> 0 . В этом
случае говорят, что t j - выходной переход позиции pi . <...> Множество всех позиций pk , для которых t j - выходной
переход,
будем
j
p
P
pk : f kj 0 .
обозначать
Pj. <...> Каждая позиция pi P может содержать некоторый
целочисленный ресурс
p 0 , часто отображаемый
соответствующим числом точек (фишек) внутри позиции (см.
рис. <...> .
Начальная маркировка M 0 определяет стартовое
состояние сети Петри. <...> Иными словами, переход t изымает из каждой своей
входной позиции число фишек, равное кратности входных дуг и
посылает в каждую свою выходную позицию <...>