{\rtf1\ansi\deff0\deftab360

{\fonttbl
{\f0\fswiss\fcharset0 Arial}
{\f1\froman\fcharset0 Times New Roman}
{\f2\fswiss\fcharset0 Verdana}
{\f3\froman\fcharset2 Symbol}
}

{\colortbl;
\red0\green0\blue0;
}

{\info
{\author Biblio 7.x}{\operator }{\title Biblio RTF Export}}

\f1\fs24
\paperw11907\paperh16839
\pgncont\pgndec\pgnstarts1\pgnrestart
Distefano, S., F. Longo, and M. Scarpa,  "Marking dependency in non-Markovian stochastic Petri nets",  \i Performance Evaluation\i0 , vol. 110: Elsevier B.V., pp. 22-47, 2017.\par \par Distefano, S., F. Longo, and M. Scarpa,  "QoS Assessment of Mobile Crowdsensing Services",  \i Journal of Grid Computing\i0 , vol. 13, no. 4: Springer Netherlands, pp. 629-650, 2015.\par \par Bruneo, D., F. Longo, M. Scarpa, A. Puliafito, R. Ghosh, and K. S. Trivedi,  "An SRN-based resiliency quantification approach",  \i Proceedings of the  36th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets)\i0 , vol. 9115 Lecture Notes in Computer Science, Brussels, Belgium, 21-26 June 2015, Springer Verlag, pp. 98-116, 2015.\par \par Distefano, S.., A.. Puliafito, and M. Scarpa,  "A Representation Methodology for Performance Specifications in UML Domain",  \i COMPUTERS IN HUMAN BEHAVIOR\i0 , vol. 27, pp. 1579?1592, 2011.\par \par }