From: Gianfranco Ciardo <ciardo@CS.WM.EDU>
To: petrinet@informatik.uni-hamburg.de
Date: Fri, 20 Dec 2002 10:57:45 +0100
Subject: (PN) CfP: Workshop on Petri Nets and Performance Models (PNPM 2003)
2003 Illinois International Multiconference on Measurement,
Modelling, and Evaluation of Computer-Communication Systems
(http://www.crhc.uiuc.edu/Multi)
FIRST CALL FOR PAPERS of PNPM '03
10th International Workshop on Petri Nets
and Performance Models
http://www.crhc.uiuc.edu/Multi/pnpm.html
Urbana, Illinois, USA
September 2-5, 2003
Organized by: University of Illinois at Urbana Champaign
In cooperation with: College of William and Mary
GENERAL
PNPM '03 will be hosted at the University of Illinois at Urbana-Champaign,
Illinois, USA. The conference will take place under the umbrella of the 2003
Illinois Multiconference on Measurement, Modelling, and Evaluation of
Computer-Communication Systems. In addition to PNPM '03, the multiconference
will comprise the International Conference on the Numerical Solution of Markov
Chains (NSMC'03), the 6th International Workshop on Performability Modeling of
Computer and Communications Systems (PMCCS-6), and Performance TOOLS 2003
(13th International Conference on Modelling Techniques and Tools for Computer
Performance Evaluation). TOOLS, PNPM, and NSMC will take place on the campus
of the University of Illinois at Urbana-Champaign; PMCCS will be hosted at the
Allerton Park and Conference Center, a secluded park near the university. The
proceedings of PNPM '03 will be published by the IEEE Computer Society.
SCOPE
The workshop covers the theory and use of timed and stochastic Petri nets
(T/SPNs) and related models for the temporal and probabilistic analysis of
systems. Main topics include, but are not limited to:
- Steady-state and transient analysis of T/SPNs
- Computer-based tools for T/SPNs
- New analysis techniques for T/SPNs
- Product-form solutions for T/SPNs
- Efficient simulation of T/SPNs
- Approximate analysis of T/SPNs
- Performance and reliability using T/SPNs
- Probabilistic model-checking with T/SPNs
- Non-Markovian T/SPNs
- Colored T/SPNs
- Process algebras and their relation to T/SPNs
- Hybrid T/SPN and queueing network models
- Hierarchical T/SPN models
- Experiences in using T/SPNs on real-life applications
PNPM '03 PAPER SUBMISSION
Paper submissions should not have been published previously, or concurrently
submitted for publication elsewhere, and should not exceed 20 double-spaced
pages. Accepted papers will be published in a proceedings published by the
IEEE Computer Society. From the accepted papers, the program committee will
select a small number of papers for possible publication in IEEE Transactions
on Software Engineering in extended form, subject to further review (subject
to approval of the special issue by IEEE TSE).
Authors are required to submit their papers as postscript or PDF files via the
web: http://www.crhc.uiuc.edu/Multi/pnpm.html
TOOL DESCRIPTION AND DEMONSTRATION SUBMISSION
Proposals to present and demonstrate tools for performance evaluation of
computer and communication systems are also solicited. Each accepted tool can
be presented in a short (10-minute) presentation and will be allowed a
four-page summary in a tools description booklet that will be distributed at
the multiconference. Please submit tool description and demonstration
summaries (subject to the page limitations) to the Tools Chair, Falko Bause
(falko.bause@udo.edu) by the date listed below.
PNPM '03 TUTORIAL SUBMISSION
Tutorial proposals are solicited on various topics concerning theory,
practice, and application of Petri nets and other performance models. Please
contact the Tutorials Chair, Aad van Moorsel (aad@hpl.hp.com), to submit a
tutorial proposal or for more information.
IMPORTANT DATES:
Paper submission: 24 February 2003
Tool submission: 24 March 2003
Tutorial submission: 24 March 2003
Acceptance notification: 23 May 2003
Camera-ready copies: 19 June 2003
GENERAL CHAIR
William H. Sanders
University of Illinois
Coordinated Science Laboratory
Urbana, IL 61801, USA
whs@crhc.uiuc.edu
PROGRAM COMMITTEE CHAIRS
Gianfranco Ciardo
College of William and Mary
Department of Computer Science
Williamsburg, VA 23187-8795, USA
ciardo@cs.wm.edu
William H. Sanders
University of Illinois
CRHC - Coordinated Science Laboratory
Urbana, IL 61801, USA
whs@crhc.uiuc.edu
TOOLS CHAIR
Falko Bause
Universitaet Dortmund
Informatik IV
D-44221 Dortmund, Germany
falko.bause@udo.edu
TUTORIALS CHAIR
Aad van Moorsel
Hewlett Packard Laboratories
1501 Page Mill Rd., MS 1U-14
Palo Alto, CA 94304-1126, USA
aad@hpl.hp.com
PROGRAM COMMITTEE
M. Ajmone Marsan (Italy)
G. Balbo (Italy)
F. Bause (Germany)
J. Billington (Australia)
A. Bobbio (Italy)
P. Buchholz (Germany)
J. Campos (Spain)
G. Chiola (Italy)
S. Donatelli (Italy)
G. Franceschinis (Italy)
R. German (Germany)
P. Haas (USA)
S. Haddad (France)
B. Haverkort (The Netherlands)
R. Jones (USA)
G. Juanole (France)
K. Kanoun (France)
P. Kemper (Germany)
S. Kumagai (Japan)
C. Lindemann (Germany)
J. Meyer (USA)
A. Miner (USA)
T. Murata (USA)
M. Sereno (Italy)
M. Silva (Spain)
M. Telek (Hungary)
K. Trivedi (USA)
R. Valette (France)
L. Wells (Denmark)
M. Woodside (Canada)
W. Zuberek (Canada)
FURTHER INFORMATION
Further information is available on the WWW at:
http://www.crhc.uiuc.edu/Multi/pnpm.html
----
[[ Homepage and archive: http://www.daimi.au.dk/PetriNets/pnml/ ]]
[[ Post messages/summary of replies: PetriNets@daimi.au.dk ]]
[[ Read before posting: http://www.daimi.au.dk/PetriNets/pnml/faq.html ]]
[[ Subscribe: http://mailman.daimi.au.dk/mailman/listinfo/petrinets ]]