Просмотр кода страницы Petri net with place capacities

'''Petri net with place capacities'''  --- сеть Петри с емкостью мест.

A Petri net with place capacities is a pair <math>(N,C)</math>, where <math>N</math> is a Petri net
and <math>C</math> is a mapping of the set of places of <math>N</math> into the set of positive integers.
For a place <math>p</math>, the value <math>C(p)</math> is called the '''capacity''' of the place <math>p</math>.

A transition in a Petri net with place capacities
is not enabled if there are not sufficiently many tokens in each
of its input places or if the capacity of some of its output places
will be exceeded.