[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] cfp of Workshop on Timing and Stochasticity in Petri nets and other models of concurrency (TiSto 2009)



=================================================================
TiSto 2009

International Workshop on Timing and Stochasticity in Petri nets
and other models of concurrency

http://petrinets2009.lip6.fr/workshops/TiSto.html
=================================================================
Paris, France, June 23, 2009

a satellite event of Petri Nets 2009
30th International Conference on Application and Theory of
Petri Nets and Other Models of Concurrency

=================================================================
Selected papers from the workshop will be published in ToPNoC -
"Transactions on Petri Nets and Other Models of Concurrency" -
journal subline of Lecture Notes in Computer Science.
=================================================================
Deadline for paper submission: March 30, 2009
Notification of paper acceptance: May 1, 2009
=================================================================

The aim of TiSto is to promote the study of fundamental and
practical aspects of timing and stochasticity in Petri nets and
other models of concurrency. Topics include (but are not limited
to):

  * Foundations and semantics: Modelling formalisms and
    methodologies, measurements, analytical and numerical
    evaluation, simulation and verification, control, theory of
    timed and/or stochastic systems.
  * Methods and Tools: Techniques, algorithms, data structures,
    and software tools for analyzing timed and/or stochastic
    systems.
  * Application: Case studies where timing and stochasticity
    plays an important role (computer architectures, distributed
    and fault tolerant systems, communication systems, embedded
    systems, real-time software, hardware circuit and
    safety-critical systems).

TiSto'09 invites research and application papers of up to 15
pages formatted according to the Springer LNCS-format
(http://www.springer.de/comp/lncs/authors.html) submitted in
electronic form (PDF or PS). For your submission an online
conference management system will be set up later. Submissions
will be reviewed by the Programme Committee, and they should
include the title, the authors' contact addresses and email, and
an abstract. Moreover, in the covering e-mail, it should be
clearly stated whether the submission should be considered as an
original paper.

Accepted papers will be included in the workshop proceedings which
will be available at the meeting. At least one of the authors of
each accepted contribution should register and take part in the
workshop to give the presentation.

Some of the best, original contributions from the workshop will be
invited to be submitted to a volume of the journal sub-series of
Lecture Notes in Computer Science entitled "Transactions on Petri
Nets and Other Models of Concurrency" (ToPNoC).


Important Dates:


Deadline for papers: March 30, 2009
Notification of paper acceptance: May 1, 2009
Deadline for pre-proceedings : June 1, 2009
Workshop: June 23, 2009


PROGRAMME COMMITTEE:


Suzana Andova (Technical University of Eindhoven, The Netherlands)
Bernard Berthomieu (LAAS-CNRS, France)
Mario Bravetti (University of Bologna, Italy)
Javier Campos (University of Zaragoza, Spain)
Lucia Cloth (University of Twente, The Netherlands)
Susanna Donatelli (University of Torino, Italy)
Serge Haddad (ENS-Cachan, France)
Andras Horvath (University of Torino, Italy),
Shravan Gaonkar (University of Illinois at Urbana-Champaign, USA),
Didier Lime (ECN, France)
Rupak Majumdar (UCLA, USA)
Patrice Moreaux (University of Savoie, France)
David Parker (Oxford University, USA)
Paul Pettersson (Malardalen University, Sweden)
Louchka Popova-Zeugmann (University of Berlin, Germany)
Jean-Franžois Raskin (University of Bruxelles, Belgium)
Olivier H. Roux (University of Nantes, France)
Jiri Srba (University of Aalborg, Denmark)
Enrico Vicario (University of Florence, Italy)
Tomohiro Yoneda (Tokyo Institute of Technology, Japan)