Filters: Author is G. Balbo [Clear All Filters]
 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.. 1998.
[SC-MATCH20-98] Introduction to Net Driven Decomposition Techniques. :693-718.. 1998.
[C-MATCH17-98] Performance Bounds. :587-635.. 1998.
[BS98] Performance Models for Discrete Event Systems with Synchronizations: Formalisms and Analysis Techniques.. 1998.
[C-MATCH23-98] Response Time Approximation for Stochastic Marked Graphs. :797-817.. 1998.
[State-of-the-art-93] The Timed Coloured Petri Net Formalism Position Paper. 14:3-60.. 1993.