Abstract | ||
---|---|---|
Stochastic Symmetric Nets (SSNs) are a High-Level Stochastic Petri Net formalism which provides a parametric system description and an efficient analysis technique that exploit system symmetries to automatically aggregate its states. Even if significant reductions can be achieved in highly symmetric models, the reduced state space can still be too large to derive and/or solve the underlying stocha... |
Year | DOI | Venue |
---|---|---|
2015 | 10.1093/comjnl/bxt111 | The Computer Journal |
Keywords | DocType | Volume |
colored petri nets,ordinary differential equations,symmetries,symbolic analysis | Journal | 58 |
Issue | ISSN | Citations |
1 | 0010-4620 | 1 |
PageRank | References | Authors |
0.37 | 0 | 7 |
Name | Order | Citations | PageRank |
---|---|---|---|
Marco Beccuti | 1 | 195 | 26.04 |
Chiara Fornari | 2 | 12 | 3.11 |
Giuliana Franceschinis | 3 | 585 | 51.04 |
Sami M. Halawani | 4 | 13 | 3.75 |
Omar M. Ba-Rukab | 5 | 1 | 0.37 |
Ab Rahman Ahmad | 6 | 1 | 0.37 |
Gianfranco Balbo | 7 | 1807 | 243.48 |