[We apologize for multiple copies.]
============================================================
Call for Participation
Tutorial on Parametric Verification
(A tutorial of Petri Nets 2017)
Tuesday, the 27th of June 2017
Zaragoza, Spain
http://pn2017.unizar.es/
============================================================
Modelling languages such as Petri Nets or Timed Automata allow for
designing critical systems and model-checking their expected properties.
However, all characteristics of the system under construction may not be
known in advance. The nature of such unknown parts is manyfold, e.g.:
the designer may have the choice of different components with similar
behaviour and different timing constraints; there can be an a priori
unknown number of identical processes present in the system; some
actions can be controlled to be enabled or disabled, have different
probabilities of occurring, etc. These situations can be captured by
introducing parameters in particular on timings, actions, and probabilities.
In this tutorial, we focus on such parameterised models and their
associated analysis techniques. These allow for tuning the actual values
of parameters in order to satisfy expected properties. It also provides
the designer with a set of adequate choices w.r.t. what the system
should achieve.
The tutorial will present the underlying theory, the verification
approaches, typical applications, and will put these into practice
through hands-on sessions using IMITATOR, Romeo, and Spatula tools.
ORGANIZERS
---------------------------
* Etienne Andre, Universite Paris 13, France
* Michal Knapik, IPI PAN, Warsaw, Poland
* Didier Lime, Ecole Centrale, LS2N, Nantes, France
* Wojciech Penczek, IPI PAN, Warsaw, and UPH Siedlce, Poland
* Laure Petrucci, Universite Paris 13, France
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
