Czekster, Ricardo M. and Fernandes, Paulo and Vincent, Jean-Marc and Webber, Thais (2010) Split: a flexible and efficient algorithm to vector-descriptor product. In: 1st International ICST Workshop on Tools for solving Structured Markov Chains.
1175.pdf
Download (180kB)
Abstract
Many Markovian stochastic structured modeling formalisms like Petri nets, automata networks and process algebra represent the infinitesimal generator of the underlying Markov chain as a descriptor instead of a traditional sparse matrix. A descriptor is a compact and structured storage based on a sum
| Item Type: | Conference or Workshop Item (UNSPECIFIED) |
|---|---|
| Date Deposited: | 04 Mar 2026 08:39 |
| Last Modified: | 18 Apr 2026 06:30 |
| URI: | http://eprints.eai.eu/id/eprint/184 |
