Högnivåformalismer som stochastic Petri nät kan användas för att modellera komplexa system. Analys av logiska och numeriska egenskaper hos dessa modeller kräver ofta generering och lagring av hela det underliggande tillståndsutrymmet. Detta innebär praktiska begränsningar för de typer av system som kan modelleras. På grund av den stora mängd minne som förbrukas, undersöker vi distribuerade algoritmer för generering av tillståndsrymd grafer. Den distribuerade konstruktionen gör det möjligt för oss att dra nytta av det kombinerade minnet som är lätt tillgängligt på ett nätverk av arbetsstationer. Det viktigaste tekniska problemet är att nd eektiva metoder för on-the-y partitionering, så att tillståndsutrymmet är jämnt fördelat mellan processorer. I detta dokument rapporterar vi om genomförandet av en distribuerad rymdgenerator som kan kopplas till ett antal befintliga systemmodelleringsverktyg. Vi diskuterar partitioneringsstrategier i samband med Petri nettomodeller, och rapporterar om prestanda som observerats på ett nätverk av arbetsstationer, samt på en distribuerad minne multi-dator.
Det klassiska tillvägagångssättet för fördelning av tillståndsutrymme i inställningen av Petri Nets går tillbaka till åtminstone Ciardo et al. Hoppa över det.
Distributed State-Space Generation of Discrete-State Stochastic Models
{'venue': 'INFORMS Journal of Computing', 'journal': None, 'mag_field_of_study': ['Computer Science']}