Technical Report; Series B, No. 6, pages 1-18 pp.. Espoo, Finland: Helsinki Unversity of Technology, Digital Systems Laboratory, December 1988.
Abstract: To support the reachability analysis of predicate/transition nets (PrT-nets), a net reducing tool is presented. It has been implemented in the PrT-net analyzer PRENA which already contains tools for the reachability graph generation and interpretation. Six reduction rules are introduced along with an example of using the net reducer.
Keywords: reduction tool (for) predicate/transition net; predicate/transition net analyzer.