|
СТ |
GSPN Models of Random, Cyclic, and Optimal 1-Limited Multiserver Multiqueue Systems |
1991 |
Marsan A., Donatelli S., Neri F., Rubino U. |
|
|
|
Computer Communication Review |
18.12.1991 |
|
СТ |
On the Product Form Solution for Stochastic Petri Nets |
1992 |
Donatelli S., Sereno M. |
|
|
|
Lecture Notes in Computer Science |
09.07.1992 |
|
СТ |
Software Architecture of the EPOCA Integrated Environment |
1994 |
Donatelli S., Franceschinis G., Mazzocca N., Russo S. |
|
|
|
Lecture Notes in Computer Science |
07.07.1994 |
|
СТ |
Superposed Generalized Stochastic Petri Nets: Definition and Efficient Solution |
1994 |
Donatelli S. |
|
|
|
Lecture Notes in Computer Science |
21.07.1994 |
|
СТ |
The PSR Methodology: Integrating Hardware and Software Models |
1996 |
Donatelli S., Franceschins G. |
|
|
|
Lecture Notes in Computer Science |
01.08.1996 |
|
СТ |
Structured Solution of Asynchronously Communicating Stochastic Modules |
1999 |
Campos J., Donatelli S., Silva M. |
|
|
|
IEEE Trans. on Software Engineering |
17.07.1999 |
|
СТ |
Validation of GSPN and SWN Models through the PROD Tool |
2002 |
Donatelli S., Ferro L. |
|
|
|
Lecture Notes in Computer Science |
29.05.2002 |
