683
правки
Petri net: различия между версиями
Материал из WikiGrapp
нет описания правки
KVN (обсуждение | вклад) Нет описания правки |
KVN (обсуждение | вклад) Нет описания правки |
||
| Строка 1: | Строка 1: | ||
'''Petri net''' --- сеть Петри. | '''Petri net''' ---''[[сеть Петри]]''. | ||
A ''' Petri net''' is a finite directed graph with two types of nodes, | A ''' Petri net''' is a finite directed graph with two types of nodes, | ||
| Строка 23: | Строка 23: | ||
We now define the '''operation''' (or '''execution''') of a Petri net. | We now define the '''operation''' (or '''execution''') of a Petri net. | ||
A transition is '''enabled''' (at a marking) iff all its input places have at least one token. | A transition is '''enabled''' (at a marking) iff all its input places have at least one token. | ||
An enabled | An enabled transition may '''fire''' by removing one token from each of its input places and | ||
adding one token to each of its output places. | adding one token to each of its output places. | ||
