A method to abstract a stochastic Petri net.
scientific article; zbMATH DE number 1737789