Title: Storage alternatives for large structured state spaces
Subjects: Petri nets, Queueing theory