Petri net with place capacities

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

A Petri net with place capacities is a pair [math]\displaystyle{ (N,C) }[/math], where [math]\displaystyle{ N }[/math] is a Petri net and [math]\displaystyle{ C }[/math] is a mapping of the set of places of [math]\displaystyle{ N }[/math] into the set of positive integers. For a place [math]\displaystyle{ p }[/math], the value [math]\displaystyle{ C(p) }[/math] is called the capacity of the place [math]\displaystyle{ 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.