For the most recent entries see the Petri Nets Newsletter.

Design and Implementation of a Reduction Tool for PrT-Nets.

Rauhamaa, M.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography