Publications

Export 34 results:
Sort by: Author [ Title (Desc)] Type Year
Filters: First Letter Of Title is T  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S [T] U V W X Y Z   [Show ALL]
T
[ZRS-Wod00] Zimmermann, A, Rodríguez D, Silva M.  2000.  A Two Phase Optimisation Strategy for DEDS Application to Manufacturing Systems. :291-298.
0 icon
00_ZRS_WODES.ps
[ZRS-JIM-01] Zimmermann, A, Rodríguez D, Silva M.  2001.  A Two Phase Optimisation Method for Petri Net Models of Manufacturing Systems. Journal of Intelligent Manufacturing. 12:421-432.
0 icon
01_ZRS_JourIM.ps
[Mayo06] Mayordomo, E.  2006.  Two open problems on effective dimension. 3988:353–359.
0 icon
toped.pdf
[RZS-04] Rodríguez, D, Zimmermann A, Silva M.  2004.  Two Heuristics for the Improvement of a Two-Phase Optimization Method for Manufacturing Systems. :1686-1692.
0 icon
RZS-04.pdf
[LutMayTPRBM] Lutz, JH, Mayordomo E.  2001.  Twelve problems in resource bounded measure. :83-101.
[LutMayTPRBMb] Lutz, JH, Mayordomo E.  1999.  Twelve problems in resource bounded measure. Bulletin of the European Association for Theoretical Computer Science. 68:64-80.
0 icon
99_LM_BEATCS.ps
[RP-80-08] Velilla, S, Silva M.  1980.  Traducción de expresiones lógicas: aplicación en autómatas programables y en la enseñanza. :664-670.
[IPXuReSi06] Xu, J, Recalde L, Silva M.  2006.  Tracking control of join-free timed continuous Petri net systems.
[ICSilv87] Silva, M.  1987.  Towards a Synchrony Theory for P/T Nets. Concurrency and Nets. :435-460.
[RP-87-04] Silva, M.  1987.  Towards a Synchrony Theory for P/T Nets. :435-460.
[1059] Olcoz, S, Colom JM.  1993.  Toward a Formal Semantics of IEEE Std. VHDL 1076. Euro-DAC’93 European Design Automation Conference with Euro-VHDL'93. :526-531.
[ICEsSi91b] Esparza, J, Silva M.  1991.  Top-Down Synthesis of Live and Bounded Free Choice Nets. Advances in Petri Nets 91. 524:118-139.
[RP-91-30] Esparza, J, Silva M.  1991.  Top-down synthesis of live and bounded free choice nets. 524:118-139.
[RP-90-02] Esparza, J, Silva M.  1990.  Top-down synthesis of live & bounded Free Choice Nets. :63-83.
[RP-85-09] Silva, M.  1985.  Tolerancia a fallos en aplicaciones tiempo real. :111-124.
[BCM-TII-11] Bernardi, S, Campos J, Merseguer J.  2011.  Timing-failure risk assessment of UML design using Time Petri Net bound techniques. IEEE Transactions on Industrial Informatics. 7(1):90-104.
application/pdf icon
11_BCM_TII.pdf
[1267] Vázquez, CR, Silva M.  2010.  Timing-dependent boundedness and liveness in continuous Petri nets. 10th International Workshop on Discrete Event Systems (WODES).
application/pdf icon
version_sometida_inicialmente_WODES.pdf
[1316] Vázquez, CR, Silva M.  2011.  Timing and liveness in continuous Petri nets. Automatica. 47(2):283--290.
application/pdf icon
Draft_-_Timing_and_liveness_in_continuous_PN.pdf
[IPVaMaMiReSi08] Vázquez, CR, Mangini AM, Mihalache A, Recalde L, Silva M.  2008.  Timing and Deadlock-freeness in Continuous Petri Nets. IFAC World Congress. 17
0 icon
Timing for deadlock-freeness v submitted.pdf
[State-of-the-art-93] Balbo, G, Silva M, Chiola G, Campos J, others.  1993.  The Timed Coloured Petri Net Formalism Position Paper. 14:3-60.
0 icon
93_State_of_the_art.ps
[RoIndin06] Rodríguez, D.  2006.  Time and Supervisory Control of Manufacturing Systems: a Flexible Manufacturing Cell experience. :CD-Rom.
[278] Campos, J, Chiola G, Colom JM, Silva M.  1989.  Tight Polynomial Bounds for Steady-State Performance of Marked Graphs. Third IEEE International Workshop on Petri Nets and Performance Models (PNPM'89). :200-209.
0 icon
89_CCCS_Kyoto.ps
[RP-96-12] Mertsiotakis, V, Silva M.  1996.  A Throughtput Approximation Algorithm for Decision Free Processes. :161-178.
[CS-Melbourne-91] Campos, J, Silva M.  1991.  Throughput Upper Bounds for Markovian Petri Nets Embedded Subnets and Queueing Networks. :312-321.
0 icon
91_CS_Melbourne.ps
[PFMBC-JCST-13] Pérez, S, Facchini H, Mercado G, Bisaro L, Campos J.  2013.  Throughput Quantitative Analysis of EDCA 802.11e in Different Scenarios. Journal of Computer Science & Technology. 13(1):16-23.