TORAS
TORAS is a tool for analyzing Petri Nets using reachability analysis.
- Environment:
- Sun Workstation with Unix
- Origin:
- Telecom Australia Research Laboratories, Victoria
- Kind of Nets supported:
- Place/Transition Nets
- Functionalities:
- Textual description of nets
- Reachability ANALYSIS using:
- the stubborn set method [val89]
- Holzmann's reachability analysis technique [hol88]
- Availability:
-
- References:
- G. Wheeler, A.Valmari, J. Billington: Baby TORAS eats philosophers but thinks abaut solitaire [wvb90]
- A. Valmari: Stubborn sets for reduced state space generation [val89]
- G. J. Holzmann: An improved protocol reachability analysis technique [hol88]
- Notes:
- TORAS is a component of FORSEE.
