[We apologize for multiple copies.]
============================================================
Call for Participation
Tutorial on Parametric Verification
(A tutorial of Petri Nets 2016)
Tuesday, 21st of June 2016
Torun, Poland
http://pn2016.mat.umk.pl/
============================================================
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, Sorbonne Paris Cite, France
* Michal Knapik, IPI Pan, Warsaw, Poland
* Didier Lime, IRCCyN, Ecole Centrale, Nantes, France
* Wojciech Penczek, IPI Pan, Warsaw, Poland
* Laure Petrucci, Universite Paris 13, Sorbonne Paris Cite, France
--
----------------------------------------------------------------------
Laure Petrucci [email protected]
Director of LIPN, CNRS UMR 7030
Institut Galilée - Université Paris 13
99 Avenue Jean-Baptiste Clément, F-93430 Villetaneuse, FRANCE
tel:[+33 1]/[01] 49 40 35 79 (sec: 35 90) fax:[+33 1]/[01] 48 26 07 12
tel (IUT):[+33 1]/[01] 49 40 37 41
----------------------------------------------------------------------
----
[[ 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] ]]
