Publications
Filters: First Letter Of Last Name is S [Clear All Filters]
[CS-DS-90] Steady State Performance Evaluation of Totally Open Systems of Markovian Sequential Processes. :427-438.
.
1990.
[CS-LNCS-92] Structural Techniques and Performance Bounds of Stochastic Petri Net Models. 609:352-391.
.
1992.
[State-of-the-art-93] The Timed Coloured Petri Net Formalism Position Paper. 14:3-60.
.
1993.
[RP-91-30] Top-down synthesis of live and bounded free choice nets. 524:118-139.
.
1991.
[RP-87-04] Towards a Synchrony Theory for P/T Nets. :435-460.
.
1987.
[LutMayTPRBM] Twelve problems in resource bounded measure. :83-101.
.
2001.