This tutorial introduces the main features of the Java Modelling Tool(JMT). In particular it presents its standard features to analyze queueing systems with both analytical, simulative and asymptotic techniques. It also proposes a new approach, based on command line interface and a scripting language, that increases the batch-analysis features of the tools. Several applications, in particular in the field of cloud environments, are presented to show how the JMT tool suite can be used in practice.
This tutorial covers motivation, use, and advantages of stochastic Petri nets as a tool for reliability evaluation of complex systems. Rare-event simulation techniques are demonstrated, which are applicable to a wide class of reliability problems. While this approach is known in the academic world, is has not yet been adopted much in industrial applications despite its apparent benefits. Additional triggers for this tutorial are advances in rare-event simulation for this model class as well as the recent standard IEC62551 for dependability evaluation with Petri nets. Example case studies and tool support is demonstrated.