In: H.D. Burkhard, L. Czaja, G. Lindemann, A. Skowron, P. Starke (Eds.), Informatik-Bericht Nr. 161, Humboldt-Univ. zu Berlin: Workshop Concurrency, Specification and Programming CS & P'2002, Berlin; Oct. 7-9, Vol. 2, pages 317-326. 7-9 October. 2002.
Abstract: We report work in progress on a distributed version of explicit state space generation in the Petri net verification tool LoLA. We propose a data structure where all available memory of all involved workstations can be fully exploited, and load balancing actions are possible at any time while the verification is running. I t is even possible to extend the set of involved workstations which a verification is running.