A distributed algorithm for GSPN reachability graph generation

DOI10.1006/JPDC.2000.1664MaRDI QIDQ5929020zbMATH OpenOpenAlexFDO

Authors S. Caselli, G. Conte, P. Marenzoni

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

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

Recommendations

• Symbolic Methods for the State Space Exploration of GSPN Models
• scientific article; zbMATH DE number 19255
• On the solution of GSPN reward models
• GreatSPN 1.7: Graphical editor and analyzer for timed and stochastic Petri nets
• scientific article; zbMATH DE number 763717

Cited in

(11)

• Hypergraph-based parallel computation of passage time densities in large semi-Markov models
• Uniformization and hypergraph partitioning for the distributed computation of response time densities in very large Markov models
• Monotonic extensions of Petri nets: forward and backward search revisited
• A database approach to distributed state space generation
• A database approach to distributed state-space generation
• scientific article; zbMATH DE number 1262867 (Why is no real title available?)
• scientific article; zbMATH DE number 1786480 (Why is no real title available?)
• Reachability analysis based on structured representations
• Symbolic Methods for the State Space Exploration of GSPN Models
• MaRDiGraS: Simplified Building of Reachability Graphs on Large Clusters
• A work-efficient distributed algorithm for reachability analysis.

Describes a project that uses

Uses Software

• GreatSPN
• GreatSPN 1.7

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5929020)