|
СТ |
Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets |
2001 |
Carvajal-Schiaffino R., Delzanno G., Chiola G. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
08.05.2001 |
|
СТ |
Manual and Automatic Exploitation of Symmetries in SPN Models |
1998 |
Chiola G. |
|
|
|
Lecture Notes in Computer Science |
04.07.1998 |
|
СТ |
Deadlock Detection in the Face of Transaction and Data Dependencies |
1998 |
Bertino E., Chiola G., Mancini L. V. |
|
|
|
Lecture Notes in Computer Science |
04.07.1998 |
|
СТ |
Improving the Efficiency of the Analysis of DSPN Models |
1988 |
Marsan M. A., Chiola G., Fumagalli A. |
|
|
|
Application and Theory of Petri Nets |
08.07.1995 |
|
СТ |
Introducing a Color Formalism into Generalized Stochastic Petri Nets |
1988 |
Chiola G., Bruno G., Demaria T. |
|
|
|
Application and Theory of Petri Nets |
08.07.1995 |
|
СТ |
Accelerating the Evaluation of Parallel Program Performance Models Using Distributed Simulation |
1994 |
Ferscha A., Chiola G. |
|
|
|
Lecture Notes in Computer Science |
07.07.1994 |
|
СТ |
Distributed Simulation of Timed Petri Nets: Explpoiting the Net Structure to Obtain Efficiency |
1993 |
Chiola G., Ferscha A. |
|
|
|
Lecture Notes in Computer Science |
21.08.1993 |
