Deliverable D4

Characteristic Equations for the Different Modeling Techniques

• Introduction to the deliverable
• Contents of the deliverable

Introduction to Deliverable D4

Front Page

Model Properties and Simplifications (p. 1)

Introduction and Summary (p. 2)

Table of Contents (p. 4)

Part 1

Immediate Transitions in Parametric Stochastic Petri Nets (p. 5)

Part 2

Structural, Temporal and Stochastic Properties of Unbounded Free-Choice Petri Nets (p. 33 and following)

Part 3

Characteristic Equations for Markovian TIPP (p. 72)

Part 4

Understanding Stochastic Process Algebra via their Stochastic Petri Nets Semantics (p. 86)