Publications

Export 50 results:
Sort by: [ Author (Desc)] Title Type Year
Filters: First Letter Of Last Name is V  [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]
B
[1382] Bernardi, S, Francesco F, Marrone S, Merseguer J, Papa C, Vittorini V.  2011.  Model-driven availability evaluation of railway control systems. 30th International Conference on Computer Safety, Reliability and Security (Safecomp'11).
[1431] Bernardi, S, Flammini F, Marrone S, Mazzocca N, Merseguer J, Nardone R, Vittorini V.  Submitted.  Enabling the Usage of UML in the Verification of Railway Systems: the DAM-Rail Approach. Reliability Engineering and System Safety.
G
[1308] Gavaldà, R, López-Valdés M, Mayordomo E, Vinodchandran NV.  2010.  Resource-bounded Dimension in Computational Learning Theory. arXiv.
B
[1027] Briz, JL, Colom JM, Viñals V.  1991.  Petri net Based Modelling, Analysis and Simulation of Pipelined Architectures. P.D. COM'91 IMACS-IFAC International Symposium on Parallel and Distributed Computing in Engineering Systems. :37-38.
[1050] Briz, JL, Colom JM, Viñals V.  1992.  Petri net based Modelling, Analysis and Simulation of Pipelined Architectures. Parallel and Distributed Computing in Engineering Systems. :35-40.
V
[RP-85-10] Villarroel, JL, Silva M.  1985.  Sistema de programación y control de robots con visión artificial. :66-69.
[RP-86-01] Villarroel, JL, Silva M.  1986.  Diseño de un sistema didáctico de programación y control. :97-108.
S
[RP-86-11] Silva, M, Villarroel JL.  1986.  On software implementation of Petri nets and colored Petri nets using high-level concurrent languages. :207-241.
[RP-88-04] Smith, JM, Villarroel JL.  1988.  Merging artificial intelligence techniques and Petri nets for real time scheduling and control of production systems. :528-531.
V
[RP-89-13] Villarroel, JL, Martínez J, Muro P, Silva M, Smith SF.  1989.  Merging artificial intelligence techniques and Petri nets for real time scheduling and control of production systems. :307-313.
[RP-89-18] Villarroel, JL, Martínez J, Muro P, Silva M, Smith SF.  1989.  Merging Artificial Intelligence Techniques and Petri nets for Time Scheduling and Control of Production Systems. :141-144.
E
[RP-91-03] Ezpeleta, J, Villarroel JL.  1991.  Knowledge based manufacturing modelling and analysis by integrating Petri nets. :660-668.
[RP-92-34] Ezpeleta, J, Villarroel JL.  1992.  A rule-Petri net integrated approach for the modeling and analysis of manufacturing systems. :349-358.
C
[1346] Colom, JM, Silva M, Villarroel JL.  1986.  On software implementation of Petri Nets and Colored Petri Nets using high-level concurrent languages. Seventh European Workshop on Application and Theory of Petri Nets. :207-241.
V
[ICSilv93b] Vernadat, F, Dicesare F, Harhalakis G, Proth JM, Silva M.  1993.  Practice of Petri-nets in manufacturing.
S
[RP-93-57] Silva, M, Vernadat F.  1993.  Introducing Petri Nets.
[RP-80-03] Silva, M, Velilla S.  1980.  Sistema especializado en la simulación de redes de Petri sanas. :81-88.
V
[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.
S
[RP-81-03] Silva, M, Velilla S.  1981.  Realización cableada de redes de Petri: Un equipo para prácticas. :215-230.
[RP-81-04] Silva, M, Velilla S.  1981.  Componentes conservativas elementales y realización microprogramada de una red de Petri conforme. :317-328.
[RP-81-05] Silva, M, Velilla S.  1981.  Realización cableada de redes de Petri binarias. :265-275.
[RP-82-01] Silva, M, Velilla S.  1982.  Realización cableada de redes de Petri binarias. 6:151-155.
[RP-82-03] Silva, M, Velilla S.  1982.  Sobre la obtención del conjunto de componentes elementales de una RdPG. 6:155-160.
[RP-82-07] Silva, M, Velilla S.  1982.  Programmable logic controllers and Petri nets: A comparative study. :29-34.
0 icon
PLC_and_PN82.pdf
[RP-83-02] Silva, M, Velilla S.  1983.  Programmable logic controllers and Petri nets: A comparative study. :83-88.