PROD Reference Manual
Kimmo Varpaaniemi, Jari Halme, K. Hiekkanen, Tino Pyssysalo · 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.