Implementing compositionality for stochastic Petri nets

Simona Bernardi, Susanna Donatelli, András Horváth. Implementing compositionality for stochastic Petri nets. STTT, 3(4):417-430, 2001. [doi]

Abstract

Abstract is missing.