In: Rozenberg, G.: Lecture Notes in Computer Science, Vol. 424; Advances in Petri Nets 1989, pages 128-150. Berlin, Germany: Springer-Verlag, 1990.
Abstract: Various candidate rules for defining the enabling conditions for transition firing in a P/T net with capacities are examined. Various points of view are successively considered: external, internal, place-complementation, concurency, process semantics and expressive power. It is shown that the corresponding behaviours may be rather different, but that, at least for the main ones, they have essentially the same expressive power.
Keywords: semantics (of) capacity; predicate/transition net; place complementation.