PNPM '03 (the 10th International Workshop on Petri Nets and Performance Models) is one of four conferences participating in the 2003 Illinois International Multiconference on Measurement, Modelling, and Evaluation of Computer-Communication Systems.

Please follow this link to visit the main page of the Multiconference, with links to all of the other participating conferences:

Due Dates

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 International 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
• 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 in practical performance, dependability, or security analysis

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 paper collection form on this web page (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 at 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 at hpl.hp.com), to submit a tutorial proposal or for more information.

Important Dates

Venue

PNPM will be held on the campus of the University of Illinois at Urbana-Champaign.

Details on transportation and accommodations are now available.

Program Committee includes:

Workshop Organizers