Workshop on Stochastic Petri nets and related formalisms

ICALP 2003 Satellite Workshop

Eindhoven, The Netherlands, June 28-29, 2003


GENERAL

The workshop is a satellite workshop organized under the umbrella of ICALP 2003.
The chosen place and time perfectly fits in between the ICALP, BPN and ICATPN conferences, which will be hosted at the Technical University of Eindhoven, the Netherlands.
This environment provides an excellent platform to meet and discuss recent trends in the development of modeling , techniques, and tools  for the model-based analysis of systems by help of stochastic Petri nets and related formalisms.
 
SCOPE

The primary aim of the workshop is to further the theory and application of stochastic modeling and model-based analysis of systems. Timed and Stochastic Petri nets (and variants thereof) are the formalism of choice in this workshop, however new developments in other related formalisms like stochastic automata or stochastic process algebras are welcome as well.
Important themes include (but are not restricted to):

- modeling formalisms: enhancements to timed and stochastic Petri nets, combinations of formalisms and multi-paradigm formalisms, mappings of formalisms to stochastic Petri nets
- measures: rewards, modal logics to describe performance, performability and reliability of models
- analysis techniques: simulation, analytical, and numerical techniques
- software tools for stochastic modeling and model-based analysis
- case studies and applications from the field of computer and communication systems, manufacturing systems and logistic systems

KEYNOTE SPEAKER: W.H.Sanders, University of Illinois at Urbana Champaign

A SPECIAL FOCUS AREA on Multi-Paradigm Modeling, Techniques and Tools is scheduled for Sunday.
DETAILED SCHEDULE: Schedule & Speakers

REGISTRATION: via ICALP Registration page, Fee: 75 Euro (workshop only)

HOTEL AND TRAVEL INFORMATION: via ICALP Workshop page

PAPER SUBMISSION

Paper submissions should not have been published previously and should not exceed 20 double-spaced pages.  Extended Abstracts are welcome as well. Submissions will be briefly reviewed by the members of the programme committee for the presentation at the workshop. On-site proceedings will be available as a technical report.
Papers presented at the workshop will be considered for subsequent publication by Elsevier in its series Electronic Notes in Theoretical Computer Science (ENTCS) subject to further reviewing after the workshop.
We plan to support the presentation of on-going work in a special session in order to allow for presentations and discussions of very recent results and open issues. Especially young researchers working towards their Phd are invited to present their work. For on-going work, only a brief summary of the topic is sufficient and authors should identify their contribution as such.
Authors are requested to submit their papers as postscript or PDF files via email to spnworkshop@ls4.cs.tu-dortmund.de

IMPORTANT DATES

Paper submission:                                                           1 May 2003
Author notification:                                                        15 May 2003
Camera-ready copies for on-site proceedings:               30 May 2003


ORGANIZING CHAIR:
Peter Kemper, Universität Dortmund, Germany

PROGRAM COMMITTEE INCLUDES:
Peter Buchholz, Germany
Gianfranco Ciardo, USA
Susanna Donatelli, Italy
Boudewijn Haverkort, the Netherlands
Jane Hillston, United Kingdom
Peter Kemper, Germany

FURTHER INFORMATION

Further information is available on the WWW at:
ICALP 2003 Homepage

Contact: spnworkshop@ls4.cs.tu-dortmund.de