Сети петри

156. Сетью Петри называется

 четвёрка C=(P,T,I,O), где P – конечное множество позиций; T – конечное множество переходов; I : TP входная функция, отображающая переходы в комплекты входных позиций; O: TP выходная функция, отображающая переходы в комплекты выходных позиций.

 четвёрка C=(P,T,D,M), где P – конечное множество позиций; T – конечное множество переходов; D – конечное множество дуг; М – конечное множество маркеров.

 четвёрка C=(P,T,D,M), где P – конечное множество позиций; T – конечное множество переходов; D – конечное множество дуг; М – бесконечное множество маркеров.

157. Сетью Петри называется

 совокупность переходов и позиций, связанных направленными дугами, по которым могут перемещаться маркеры.

 совокупность переходов и позиций, связанных отношениями использования и помеченных маркерами.

 совокупность переходов, позиций, дуг и маркеров, отображающих замкнутую цепь.

158. Сетью Петри моделируют

 динамические свойства систем.

 статические свойства систем.

 структурные свойства систем.

 устойчивость систем.

159. Сеть Петри представляет собой мультиграф, содержащий следующие графические элементы

 позиции

 переходы

 дуги

 входы

 выходы

160. Формализм cети Петри основан на понятии

 комплекта

 множества

 бинарных отношений

161. Комплект – это

 набор элементов, причём всякий элемент может входить в комплект более одного раза.

 набор элементов, причём всякий элемент может входить в комплект не более одного раза.

 разновидность понятия множества с ограниченными свойствами.

 обобщение множества с дополнительной функцией числа экземпляров в комплекте.

162. Маркировка сети Петри – это

 функция, отображающая множество позиций P в множество неотрицательных целых чисел N.

 функция, отображающая множество позиций P в множество переходов T.

 функция, отображающая множество переходов T во множество переходов Р.

 функция обеспечивающая продвижение по сети специальных маркеров – фишек (или точек).

163. Маркировка сети Петри

 (p₁) = (p₃) = 1 (p₂) = (p₃) = (p₄) = 0

 (p₁) = (p₃) = 0 (p₂) = (p₃) = (p₄) = 1

 (t₂ - p₃) = (t₁ - p₁) = 1 (t₃ - p₅) = 0

164. Маркировка сети Петри представляет собой

 вектор  = (₁, ₂, …, _n), где n – число позиций сети, каждый элемент вектора есть (p_i) = 1

 комплект , в который входят позиции сети p_iP и #(p_i, )=(p_i), (p_i) 0

 множество  пар {p, t} или {t, p}, отображающих движение маркеров от переходов к позициям и наоборот.

165. Маркировка сети Петри может меняться в результате

 запуска переходов.

 открытия переходов и открытия позиций.

 открытия переходов и закрытия позиций.

 освобождения одних позиций и закрытия других позиций.

166. Множество входных и выходных позиций для сети Петри

 I(t1) = {p₁, p₁, p₁} O(t₁) = {p₃, p₄, p₄}

 I(t1) = {p₁} O(t₁) = {p₃, p₄}

 I(t1) = {p₃, p₄, p₄} O(t₁) = {p₁, p₁, p₁}

 I(t1) = {p₃, p₄} O(t₁) = {p₁}

167. Переход в маркированной сети Петри с маркировкой  называется разрешенным, если

 I(t_j)  , т. е. в каждой входной позиции t_j находится не меньше фишек, чем из этой позиции выходит дуг в t_j.

 O(t_j)  , т. е. в каждой выходной позиции t_j находится не меньше фишек, чем в эту позицию входит дуг.

 число входов перехода t_j не меньше числа его выходов.

 число входных позиций перехода t_j не меньше числа выходных позиций этого же перехода.

168. Переход в сети Петри является

 разрешённым

 неразрешённым

 избыточным

 избыточным по выходам

169. Переход в сети Петри является

 неразрешённым

 разрешённым

 избыточным по входам

 избыточным по выходам

170. В ыберите разрешённые переходы сети Петри

   

171. В ыберите запрещённые переходы сети Петри

   

172. С помощью сетей Петри можно моделировать следующие особенности систем:

 асинхронность событий

 параллелизм событий

 конфликтные ситуации

 синхронность событий

173. Какие из фрагментов сети Петри отражают параллелизм событий в модели?

  

174. Какие из фрагментов сети Петри отражают конфликтную ситуацию в модели?

  

175. Тупиком в сети Петри называется

 множество переходов, которые в некоторой достижимой маркировке ' и в последующих достижимых из ' маркировках не разрешены.

 множество переходов, число фишек в которых не изменяется при любых переходах.

 переход, который поглощает фишки и при этом сам никогда не срабатывает.

IDEF-ТЕХНОЛОГИИ

176. Семейство методов и технологий для проектирования моделей сложных систем, в том числе и информационных систем.

 IDEF

 SADT

 OWL

 BGI

 DFD

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

 IDEF0

 IDEF1

 IDEF3

 DFD

178. Методология моделирования информационных потоков внутри системы, позволяющая отображать и анализировать их структуру и взаимосвязи

 IDEF1

 IDEF1X

 IDEF0

 IDEF3

 DFD

179. Методология и язык документирования процессов, происходящих в системе (в том числе ИС). С её помощью описываются сценарий и последовательность операций для каждого процесса.

 IDEF3

 IDEF1

 DFD

 IDEF

180. Методология и язык графического структурного анализа, описывающие внешние по отношению к системе источники и адресаты данных, логические функции, потоки данных и хранилища данных, к которым осуществляется доступ.

 DFD

 IDEF1

 IDEF3

 SADT

181. Методология структурного анализа и проектирования, интегрирующая процесс моделирования, управление конфигурацией проекта, использование дополнительных языковых средств и руководство проектом со своим графическим языком

 SADT

 OOA&D

 OWL

 DFD

182. Ф ункциональный блок IDEF-диаграммы имеет следующие значения для каждой стороны

 верхняя сторона «Управление» (Control)

левая сторона «Вход» (Input)

нижняя сторона «Механизм» (Mechanism)

правая сторона «Выход» (Output)

 верхняя сторона «Управление» (Control)

левая сторона «Входные данные» (Input Data)

нижняя сторона «Возмущения» (Disturbance)

правая сторона «Выходные данные» (Output data)

183. Основные объекты графической нотации IDEF1

 

184. К графическим элемента стандарта IDEF 3 следует отнести:

 сущности первого рода (отображают объекты, которые выполняют работы).

 сущности второго рода (отображают объекты, которые потребляют результаты работ).

185. К графическим элемента стандарта IDEF 1 следует отнести:

 сущности (отражают совокупность экземпляров со схожими свойствами, но отличаемых по одному или нескольким признакам).

 связи (отражают соотношение сущностей между собой)

 работы (отображают функции системы или процессы).

 стрелки (отображают взаимоотношения работ).

 перекрестки (отображают логику взаимодействия стрелок).

 ссылки (отображают идею, концепцию или данные, которые нельзя связать со стрелкой, перекрестком или работой).