History-dependent stochastic Petri nets

From MaRDI portal
Publication:3402290