Oris is a tool for qualitative verication 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 symbolic state space analysis of: preemptive Time Petri Nets (pTPNs), which enable schedulability analysis of real-time systems running under priority preemptive scheduling; and stochastic Time Petri Nets (sTPNs), which enable an integrated approach to qualitative verication and quantitative evaluation. The current version of the tool is available for download at http://www.stlab.dsi.unifi.it/oris/.