10th IEEE International Workshop on Petri Nets and Performance Models (PNPM 2003)

The PNPM 2003 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. The papers cover area such as steady-state and transient analysis of T/SPNs, computer-based tools, new analysis techniques, product-form solutions, efficient simulation, probabilistic model-checking, and experiences in using T/SPNs in practical performance, dependability, or security analysis.IEEE Computer Society Staff is the author of '10th IEEE International Workshop on Petri Nets and Performance Models (PNPM 2003)', published 2003 under ISBN 9780769519760 and ISBN 0769519768.