Souheib Baarir, Claude Dutheillet, Serge Haddad, Jean-Michel Ilié. On the use of exact lumpability in partially symmetricalWell-formed Nets. In Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 19-22 September 2005, Torino, Italy. pages 23-32, IEEE Computer Society, 2005. [doi]
Abstract is missing.