Publications
Filters: First Letter Of Title is T [Clear All Filters]
[RP-90-02] Top-down synthesis of live & bounded Free Choice Nets. :63-83.
.
1990.
[1059] Toward a Formal Semantics of IEEE Std. VHDL 1076. Euro-DAC’93 European Design Automation Conference with Euro-VHDL'93. :526-531.
.
1993.
[1521] Towards Petri net-based Economical Analysis for Streaming Applications executed over Cloud infrastructures. 11th International Conference on Economics of Grids, Clouds, Systems, and Services (GECON 2014).
.
2014.
.
2006.
[RP-80-08] Traducción de expresiones lógicas: aplicación en autómatas programables y en la enseñanza. :664-670.
.
1980.
[RZS-04] Two Heuristics for the Improvement of a Two-Phase Optimization Method for Manufacturing Systems. :1686-1692.
.
2004.
[Mayo06] Two open problems on effective dimension. 3988:353–359.
.
2006.
.
2000.
[ICEsSi91b] Top-Down Synthesis of Live and Bounded Free Choice Nets. Advances in Petri Nets 91. 524:118-139.
.
1991.
[ICSilv87] Towards a Synchrony Theory for P/T Nets. Concurrency and Nets. :435-460.
.
1987.
[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.