The ORIS tool: app, library, and toolkit for quantitative evaluation of non-Markovian systems
Abstract
References
- The ORIS tool: app, library, and toolkit for quantitative evaluation of non-Markovian systems
Recommendations
An introduction to the ORIS tool
VALUETOOLS 2017: Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and ToolsORIS provides a graphical interface to draw Petri nets, analysis engines for different classes of underlying stochastic process, and visualization of reward-based metrics. It also includes a Java API for model definition and analysis, which can be used ...
Applications of non-Markovian stochastic Petri nets
Special issue on Stochastic Petri NetsPetri nets represent a powerful paradigm for modeling parallel and distributed systems. Parallelism and resource contention can easily be captured and time can be included for the analysis of system dynamic behavior. Most popular stochastic Petri nets ...
Oris: a tool for modeling, verification and evaluation of real-time systems
Oris is a tool for qualitative verification 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 ...
Comments
Information & Contributors
Information
Published In
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 41Total Downloads
- Downloads (Last 12 months)14
- Downloads (Last 6 weeks)1
Other Metrics
Citations
Cited By
View allView Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in