In: Petri Net Newsletter No. 39, pages 11-31. Bonn, Germany: Gesellschaft für Informatik (GI), Special Interest Group on Petri Nets and Related System Models, August 1991.
Keywords: net tool (for) design (and) analysis (of) product net(s); reachability graph computation.