TY - SER AU - Ciardo, Gianfranco AU - German, Reinhard AU - lindemann, Christoph TI - A Characterization OfStochastic Process Underlying a Stochastic Petri Net KW - Stochastic Petri Net Models KW - Chain Model KW - Markov Chains ER -