Publications
] Filters: Author is G. Balbo [Clear All Filters]
[1341] .
1998. Logical Properties of P/T Systems and their Analysis. Performance Models for Discrete Event Systems with Synchronisations: Formalisms and Analysis Techniques Vol.1, HCM-MATCH Advanced Schools. :185-232.
[BBBCC-QMIPS-94] .
1994. Annotated Bibliography on Stochastic Petri Nets. 105:25-44.
[SC-MATCH20-98] .
1998. Introduction to Net Driven Decomposition Techniques. :693-718.
[C-MATCH17-98] .
1998. Performance Bounds. :587-635.
[C-MATCH8-98] .
1998. Performance Measures and Basic Properties. :285-304.
[BS98] .
1998. Performance Models for Discrete Event Systems with Synchronizations: Formalisms and Analysis Techniques.
[C-MATCH23-98] .
1998. Response Time Approximation for Stochastic Marked Graphs. :797-817.
[State-of-the-art-93] .
1993. The Timed Coloured Petri Net Formalism Position Paper. 14:3-60.
