ERRATA  OF "Analysis of large stochastic Petri net models"


p175, equation (9.1):
"max" should be "min".

p176, equation (9.2):
"max" should be "min".

p177, equation (9.3):
"max" should be "min".

p180, proof of theorem 7:
in the fraction, "max{R,K}" should be "min{R,K}".

p228, figures 10.8:
transition tp12s is timed and should be colored black.

p231, table 10.8:
"max" should be substituted with "min" in the rate expressions
for transitions tp1,tp2, tp3, and tp12.

p231, table 10.8:
the first factor in the rate expression for tp2 should be
"#(p2)", not "#(p12)".

p232, figures 10.9 and 10.10:
transition tp12s is timed and should be colored black.