Сеть: различия между версиями
Glk (обсуждение | вклад) (Создана новая страница размером '''Сеть''' (''Net, network'') - '''1.''' Орграф, в котором допускаются и петли, и кратные ду...) |
KVN (обсуждение | вклад) Нет описания правки |
||
| (не показаны 2 промежуточные версии 1 участника) | |||
| Строка 1: | Строка 1: | ||
'''Сеть''' (''Net, network'') | '''Сеть''' (''[[Net]], [[network]]'') — | ||
'''1.''' Орграф, в котором допускаются и петли, и кратные | '''1.''' [[Орграф]], в котором допускаются и [[петля|петли]], и [[кратные дуги]] и который используется как модель системы, процесса и | ||
дуги и который используется как модель системы, процесса и | пр. Обычно в сети выделяются некоторые [[вершина|вершины]] — [[полюс|полюсы]] | ||
пр. Обычно в сети выделяются некоторые вершины | |||
сети, играющие роль входов и выходов сети. Часто под сетью | сети, играющие роль входов и выходов сети. Часто под сетью | ||
понимается ''транспортная сеть''. | понимается ''транспортная сеть''. | ||
'''2.''' В теории программирования сеть используется для | '''2.''' В теории программирования сеть используется для | ||
описания статической топологии моделируемого процесса или | описания статической топологии моделируемого процесса или | ||
системы и имеет вид двудольного орграфа (в общем случае | системы и имеет вид [[двудольный граф|двудольного орграфа]] (в общем случае | ||
бесконечного) с двумя типами вершин: ''места'' и ''переходы''. | бесконечного) с двумя типами вершин: ''места'' и ''переходы''. | ||
На основе понятия сети вводятся динамические | На основе понятия сети вводятся динамические | ||
| Строка 15: | Строка 14: | ||
изменяющего эти разметки (условия) в результате так | изменяющего эти разметки (условия) в результате так | ||
называемых ''срабатываний переходов''. К таким | называемых ''срабатываний переходов''. К таким | ||
динамическим сетям относятся ''сети Петри'', их различные | динамическим сетям относятся ''[[сеть Петри|сети Петри]]'', их различные | ||
варианты, обобщения и частные случаи. | варианты, обобщения и частные случаи. | ||
==Литература== | ==Литература== | ||
* Котов В.Е. Сети Петри. — М.: Наука, 1984. | |||
* Уилсон Р. Введение в теорию графов. — М.: Мир, 1977. | |||
* Касьянов В.Н., Касьянова Е.В. Теория вычислений. — Новосибирск: ИНЦ НГУ, 2018. | |||
Текущая версия от 12:13, 24 октября 2018
Сеть (Net, network) — 1. Орграф, в котором допускаются и петли, и кратные дуги и который используется как модель системы, процесса и пр. Обычно в сети выделяются некоторые вершины — полюсы сети, играющие роль входов и выходов сети. Часто под сетью понимается транспортная сеть. 2. В теории программирования сеть используется для описания статической топологии моделируемого процесса или системы и имеет вид двудольного орграфа (в общем случае бесконечного) с двумя типами вершин: места и переходы. На основе понятия сети вводятся динамические сетевые структуры, в которых местам приписываются специальные разметки, моделирующие выполнение условий, и с сетью связывается понятие ее функционирования, изменяющего эти разметки (условия) в результате так называемых срабатываний переходов. К таким динамическим сетям относятся сети Петри, их различные варианты, обобщения и частные случаи.
Литература
- Котов В.Е. Сети Петри. — М.: Наука, 1984.
- Уилсон Р. Введение в теорию графов. — М.: Мир, 1977.
- Касьянов В.Н., Касьянова Е.В. Теория вычислений. — Новосибирск: ИНЦ НГУ, 2018.