Technical Report; Series A, No. 7, pages 1-47 pp.. Espoo, Finland: Helsinki Unversity of Technology, Digital Systems Laboratory, October 1988.
Abstract: Reduction transformations for predicate/transition nets (PrT-nets) are studied. The reduced net has properties of the original one but a smaller state-space. A general criterion for validating any reduction transformation is introduced. Six structural reduction rules for PrT-nets fulfilling this criterion are presented.
Keywords: reduction transformation (of prt-nets) predicate/transition net; state-space reduction; structural reduction rule.