For the most recent entries see the Petri Nets Newsletter.

PROD Reference Manual.

Varpaaniemi, Kimmo; Halme, Jaakko; Hiekkanen, Kari; Pyssysalo, Tino

Helsinki University of Technology, Digital Systems Laboratory, Technical Report B13, 56 pages, August 1995.

Abstract: PROD is a Pr/T-net reachability analysis tool that supports on-the-fly verification of linear time temporal properties with the aid of the stubborn set method. Branching time temporal properties can be verified, too.

Keywords: Pr/T-nets, on-the-fly verification, stubborn sets.

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

Back to the Petri Nets Bibliography