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