The GreatSPN tool: recent enhancements
ACM SIGMETRICS Performance Evaluation Review
Interfaces and binding in component based development of formal models
Proceedings of the Fourth International ICST Conference on Performance Evaluation Methodologies and Tools
Defining Formalisms for Performance Evaluation With SIMTHESys
Electronic Notes in Theoretical Computer Science (ENTCS)
A framework for simulation and symbolic state space analysis of non-markovian models
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
Expressiveness and efficient analysis of stochastic well-formed nets
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
A tool suite for modelling spatial interdependencies of distributed systems with markovian agents
EPEW'11 Proceedings of the 8th European conference on Computer Performance Engineering
The SIMTHESys multiformalism modeling framework
Computers & Mathematics with Applications
| Hi-index | 0.00 |
This paper presents the last version of Draw-Net, a customizable tool for the design and solution of models expressed in any graph based formalism, including the possibility of representing complex models by means of multiformalism and analyzing them by exploiting different solution modules. In particular, it focuses on the new tools and features available in the current version of the framework.