Сеть Петри

Смотреть что такое "Сеть Петри" в других словарях:

• сеть Петри — Абстрактный автомат для описания асинхронных алгоритмов в виде ориентированного графа. Используется, например, для представления музыкальных объектов с помощью команд интерфейса MIDI. [Е.С.Алексеев, А.А.Мячев. Англо русский толковый словарь по… …   Справочник технического переводчика

• сеть Петри — Petri tinklas statusas T sritis automatika atitikmenys: angl. Petri net vok. Petri Netz, n rus. сеть Петри, f pranc. réseau de Petri, m ryšiai: sinonimas – Petri tinklas …   Automatikos terminų žodynas

• СЕТЬ ПЕТРИ — математическая модель дискретных систем с параллельно функционирующими и асинхронно взаимодействующими компонентами. Предложена немецким ученым К. Петри в начале 60 хгг. Графически С. П. представляет собой двухдольный ориентированный мультиграф с …   Энциклопедический словарь по психологии и педагогике

• ПЕТРИ СЕТЬ — математическая модель дискретных динамич. систем, в том числе информационных систем (параллельных программ, операционных систем, ЭВМ и их устройств, сетей ЭВМ), ориентированная на качественный анализ и синтез таких систем (обнаружение блокировок …   Математическая энциклопедия

• Сети Петри — Пример сети Петри. Белыми кружками обозначены позиции, полосками  переходы, чёрными кружками  метки. Сети Петри  математический аппарат для моделирования динамических дискретных систем. Впервые описаны Карлом П …   Википедия

• WF-сети — WF сети  подкласс сетей Петри, называемый также сетями потоков работ. Формализм WF сетей введён Вил ван дер Аальстом (англ. Wil van der Aalst) для моделирования потоков работ в workflow системах. Сеть Петри PN = (P,T,F) называется сетью …   Википедия

• Sequential Function Chart — язык программирования стандарта IEC61131 3. Предназначен для программирования промышленных контроллеров. Широко используется в SCADA/HMI пакетах. SFC графический язык, предназначенный для написания программ последовательного управления… …   Википедия

• Формальная верификация — формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию. Предметом выступают алгоритмы, программы и другие доказательства. Из за рутинности даже простой формальной верификации и… …   Википедия

• SFC — Sequential Function Chart язык программирования стандарта SCADA/HMI пакетах. SFC графический язык, описывающий диаграмму состояний. Аналогом может служить сеть Петри с разноцветными фишками. К каждому состоянию могут быть подключены действия… …   Википедия

• Конечные автоматы — Конечный автомат  в теории алгоритмов математическая абстракция, позволяющая описывать пути изменения состояния объекта в зависимости от его текущего состояния и входных данных, при условии что общее возможное количество состояний конечно.… …   Википедия