1
Published 1995
Springer Netherlands
Table of Contents: ... -- Transient Analysis of Real-Time Systems Using Deterministic and Stochastic Petri Nets -- Performance...

2
Published 2000
Springer Netherlands
Table of Contents: ... -- Time in Message Sequence Chart Specifications and How to Derive Stochastic Petri Nets -- Safe System...