A distributed algorithm for GSPN reachability graph generation

DOI10.1006/jpdc.2000.1664zbMath0973.68260OpenAlexW2020727467MaRDI QIDQ5929020

No author found.

Publication date: 27 November 2001

Published in: Journal of Parallel and Distributed Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/jpdc.2000.1664

zbMATH Keywords

generalized stochastic Petri nets

Mathematics Subject Classification ID

Parallel algorithms in computer science (68W10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Reachability analysis based on structured representations ⋮ Unnamed Item

Uses Software

• GreatSPN
• GreatSPN 1.7

This page was built for publication: A distributed algorithm for GSPN reachability graph generation