Documents
The Oris tool ¶
Oris is a tool for qualitative veri cation and quantitative evaluation of reactive timed systems, which supports modeling and analysis of various classes of timed extensions of Petri Nets. As most characterizing features, Oris implements ... See details»
- Authors: Enrico Vicario, Giacomo Bucci, Laura Carnevali, Lorenzo Ridi
- Uploaded on: July 28, 2010
- Category: Tools
- Labels: Probability and Statistics, Performance Modeling
- Uploaded by: Laura Carnevali
- Downloads pdf (754.0 KB)