1. Parallel shared-memory state-space exploration in stochastic modeling;Allmaier,1997
2. State space construction and steady-state solution of GSPNs on a shared-memory multiprocessor;Allmaier,1997
3. On the success of stochastic Petri nets;Balbo,1995
4. On the efficient construction of the tangible reachability graph of generalized stochastic Petri nets;Balbo,1987
5. Concurrency of operations on B-trees;Bayer;Acta Informatica,1977