Guest Editorial: Introduction to the Special Section (Abstract)

Structured Solution of Asynchronously Communicating Stochastic Modules (Abstract)

Hierarchical Structuring of Superposed GSPNs (Abstract)

Transient Analysis of Superposed GSPNs (Abstract)

A Fourth-Order Algorithm with Automatic Stepsize Control for the Transient Analysis of DSPNs (Abstract)

Discrete-Event Simulation of Fluid Stochastic Petri Nets (Abstract)

Estimation Methods for Nonregenerative Stochastic Petri Nets (Abstract)

Adaptive Time Warp Simulation of Timed Petri Nets (Abstract)

A Decomposition of a Formal Specification: An Improved Constraint-Oriented Method (Abstract)

Consistency Issues in Distributed Checkpoints (Abstract)

Comments on: Evaluating Alternative Software Production Functions (Abstract)

Correction to: Evaluating Testing Methods by Delivered Reliability (Abstract)