Cтраница 4
Пусть in ( e), out ( e) - метки входной и выходной позиций, которым инцидентна дуга е е Е М - сети. Если начальная разметка каждого уровня минимальна, т.е. ( Ve Е) / i ( е) г [ in ( е), out ( е) ], ( Vv V jj, ( v) - d ( v) 1, за исключением процессов, не участвующих в альтернативах вычислений, то стационарная разметка М - сети является неизбыточной. [46]
Функциональная схема ТП, описываемая в терминах сетей Петри, выражает состав и определенную последовательность операций. Пусть начальная разметка цо ( Рг) взята одинаковой, хотя возможны ситуации с разными заделами и производительностями. [47]
Пусть достигнутая разметка является стационарной. При первом проходе свойство уровня I может измениться однажды в соответствии с правилом R1 и L - I раз по правилу R1 из-за приведения свойств предшественников. Следовательно, при любой начальной разметке свойство 1-го уровня не должно изменяться после ( 1 L - - /) ( 1 - Н - 1) L 1 шагов. [48]
Покажем теперь методом от противного, что язык L не может быть префиксным языком ни одной помеченной сети Петри без Х - переходов. С этой целью допустим существование такой сети ck местами. Аг местах сети при начальной разметке, а т - максимальное число фишек, которое может добавиться в сети при срабатывании какого-то перехода. Тогда после л срабатываний любых переходов сети последняя содержит не более чем т0 тп фишек. [49]
Это минимальный набор команд, которыми приходится пользоваться при общении с ОС, Другие команды, число которых в достаточно развитых ОС достигает нескольких сотен, реализуются с помощью специальных программ, работающих под управлением ОС. Некоторые из таких программ всегда прилагаются к операционной системе. Среди них программа PIP, обеспечивающая копирование файлов с одного места на другое, программа FORMAT, обеспечивающая начальную разметку, форматизацию диска и некоторые другие. Для выполнения любой из этих команд и программ достаточно после подготовки компьютера к работе под управлением ОС с клавиатуры ввести команду или имя программы вместе с параметрами, если они необходимы, после чего ОС отыскивает соответствующую программу на диске, загружает ее в ОЗУ и запускает на выполнение. Рассмотренные три части операционной системы постоянно хранятся на диске в специальных файлах. [50]