Publications

Export 319 results:
Sort by: Author [ Title (Desc)] Type Year
Filters: Author is M. Silva  [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 
“
[1529] Fraca, E, Julvez J, Silva M.  2014.  The “bound Reaching Problem” on the Fluidization of Timed Petri Nets. 12th Int. Workshop on Discrete Event Systems.
W
[ICTeSi94] Teruel, E, Silva M.  1994.  Well-formedness of Equal Conflict Systems. Application and Theory of Petri Nets 1994. 815:491-510.
U
[IPSiRe03b] Silva, M, Recalde L.  2003.  Unforced Continuous Petri Nets and Positive Systems. Lecture Notes in Control and Information Sciences.
0 icon
001IC.ps
[RP-80-06] Silva, M.  1980.  Un plan de prácticas. Dpto. de Automática de la E.T.S.I. Industriales de la U.Z.. :117-134.
[RP-83-07] Pardos, P, Silva M.  1983.  Un plan de prácticas de sistemas de control muestreados. :279-295.
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
[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
[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.
[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.
[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
[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
[CSS-Melbourne-91] Campos, J, Sánchez B, Silva M.  1991.  Throughput Lower Bounds for Markovian Petri Nets Transformation Techniques. :322-331.
0 icon
91_CSS_Melbourne.ps
[RP-97-06] Mertsiotakis, V, Silva M.  1997.  Throughput Approximation of Decision Free Processes Using Decomposition. :174-182.