In: Proceedings of the 12th International Conference on Application and Theory of Petri Nets, 1991, Gjern, Denmark, pages 182-205. June 1991.
Abstract: P/T nets are extended by the introduction of transition priorities and in hibitor arcs formally defined and studied. In particular the problem of a proper definition of the concurrent semantics of these nets is considered: a new concept of enabling degree is introduced and compared with the classical concept of firing step (true concurrency). The effect of the introduction of priorities and inhibitor arcs is discussed on these concurrent semantics. Then classical transformation rules developed in the framework of interleaving semantics are extended when possible.
Keywords: priority, inhibitor arc, concurrency, (in) place/transition net(s); concurrent semantics (of) extended place/transiton net(s); enabling degree; true concurrency; net transformation rules; interleaving semantics.