Author:
Ballarini Paolo,Capra Lorenzo,Franceschinis Guiliana
Publisher
Springer Berlin Heidelberg
Reference8 articles.
1. DepAuDE Project Home Page,
http://www.depaude.org
2. Ballarini, P., Capra, L., De Pierro, M., Franceschinis, G.: Memory Fault Tolerance Mechanisms: Design and Configuration Support through SWN Models. In: Proceedings of the 3rd International Conference on Application of Concurrency to System Design, Guimaraes, Portugal (2003)
3. Bernardi, S., Donatelli, S., Merseguer, J.: From UML Sequence Diagrams and Statecharts to Analysable Petri Net Models. In: ACM Proceedings of the 3rd International Workshop on Software and Performance (WOSP 2002), Rome, Italy, pp. 35–45 (2002)
4. Lecture Notes in Computer Science;O. Botti,1999
5. Chiola, G., Franceschinis, G., Gaeta, R., Ribaudo, M.: GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets. Performance Evaluation (special issue on Performance Modeling Tools) 24, 47–68 (1995)