К P-схемам относятся вероятностные автоматы – это дискретные потактные преобразователи информации с памятью, функционирование которых зависит только от состояния памяти в автоматах и может быть описано статически.
Данный вид схем описывается выражением:
,
где B – вероятность того, что автомат перейдет в новое состояние при наличии входного сигнала или вероятность того, что на выходе автомата появится выходной сигнал при смене старого состояния на новое при новом входном сигнале.
Разновидности P-автоматов: вероятностный автомат Мили, вероятностный автомат Мура, Y-детерминированный автомат (выходные сигналы определяются детерминировано), Z-детерминированный автомат (выбор нового состояния определяется детерминировано).
Непрерывно-стохастические модели – это модели, описывающие поведение систем массового обслуживания /2/. На рисунке 4 представлена укрупненная схема обслуживания. Данный вид схем описывается выражением:
,
где W – подмножество входящих потоков, U - поток обслуживания, Н – емкость накопителя, Z – состояние накопителя (канала), R – оператор сопряжения элементов, A – алгоритм поведения заявок.
Рисунок 4 - Укрупненная схема обслуживания
Поток событий – это последовательность событий, происходящих одно за другим в какие-то случайные моменты времени.
Поток событий может быть однородным, если он характеризуется только моментом поступлений этих событий и неоднородным, если существует набор признаков наступления событий.
Обобщенные модели описывают поведение непрерывных и дискретных, детерминированных и стохастических систем, что позволяет создать универсальную модель, которая базируется на понятии агрегата, агрегатативной модели.
Каждый n-й агрегат А-схемы An имеет выходные контакты, на которые поступает совокупность элементарных сигналов xi(t), , одновременно возникающих на входе элемента, и выходные контакты, с которых снимается совокупность выходных сигналов yj(t), .
Любой из An агрегатов характеризуется следующими множествами: моментов времени Т, входных X и выходных Y сигналов, состояний Z в каждый момент времени t. Так что при tÎT, z(t)ÎZ, x(t)ÎX, y(t)ÎY /2, с.59-63/.
Будем полагать, что переход агрегата из состояния z(t1) в состояние z(t2)¹z(t1) происходит в малый интервал времени, т.е. имеет место скачок dz и определяется собственными (внутренними) параметрами самого агрегата h(t)ÎH и входными сигналами x(t)ÎX.
В начальный момент времени t0 агрегат находится в состоянии z0=z(t0) с законом распределения L[z(t0)]. Предположим, что процесс функционирования агрегата в случае воздействия входного сигнала xn описывается случайным оператором V.Тогда новое состояние агрегата можно определить как:
z(tn+0)=V[tn, z(tn), xn].
Обозначим полуинтервал времени t1<t£t2 как (t1,t2], а полуинтервал t1£t<t2 как [t1,t2). Если интервал времени (tn, tn+1) не содержит ни одного момента поступления сигналов, то для tÎ(tn, tn+1) состояние агрегата определяется случайным оператором U в соответствии с соотношением
z(tn)=U[t, tn, z(tn+0).
Совокупность случайных операторов V и U рассматривается как оператор переходов агрегата в новое состояние. При этом процесс функционирования агрегата состоит из скачков состояний dz в моменты поступления входных сигналов x (оператор V) и изменений состояний между этими моментами tn и tn+1 (оператор U). На оператор U не накладывается никаких ограничений, поэтому допускаются скачки состояний dz в моменты времени, не являющиеся моментами поступления входных сигналов x. Моменты скачков dz называются особыми моментами времени td, а состояние z(td) – особым состоянием А-схемы. Для описания скачков используется оператор W. Выходные сигналы определяются оператором выходов:
y=G[td, z(td)].
Таким образом, под агрегатом будем понимать любой объект, определяемый упорядоченной совокупностью рассмотренных множеств T, X, Y, Z, Z(Y), H и случайных операторов V, U, W, G.
Для общего описания А-схемы необходимо выбрать достаточно удобные способы математического описания взаимодействия между агрегатами, для чего введем ряд предположений /2, с.59-63/:
1 – взаимодействие между А-схемой и внешней средой;
2 – для описания сигналов используется минимальный набор характеристик;
3 – элементарные сигналы мгновенно передаются в А-схеме независимо друг от друга по элементарным каналам;
4 – к входному контакту любого агрегата подключается не более чем один элементарный канал, к выходному – любое конечное число элементарных каналов при условии, что ко входу одного и того же элемента А-схемы направляется не более чем один из упомянутых элементарных каналов.
,
,
, одновременно возникающих на входе элемента, и выходные контакты, с которых снимается совокупность выходных сигналов yj(t), 
.