Publications

Export 67 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: First Letter Of Last Name is P  [Clear All Filters]
1996
[PJCS-96b] Pérez-Jiménez, CJ, Campos J, Silva M.  1996.  Approximate Throughput Computation of a Class of Cooperating Sequential Processes. :382-389.
0 icon
96_PJCS_b.ps
[PJCS-96a] Pérez-Jiménez, CJ, Campos J, Silva M.  1996.  State Machine Reduction for the Approximate Performance Evaluation of Manufacturing Systems Modelled with Cooperating Sequential Processes. :1159-1165.
0 icon
96_PJCS_a.ps
[PBMRI-96] Pastor, O, Barberá, Merseguer J, Romero J, Insfrán E.  1996.  Descripción de la Herramienta CASE OO-Method. :47.
1995
[PJCS-95] Pérez-Jiménez, CJ, Campos J, Silva M.  1995.  On Approximate Throughput Computation of Deterministic Systems of Sequential Processes. :156-171.
0 icon
95_PJCS.ps
1993
[200] Teruel, E, Colom JM, Silva M.  1993.  Modelling and Analysis of Deteministic Concurrent Systems with Bulk Services and Arrivals. Decentralized and Distributed Systems. :213-224.
0 icon
94_ST_ICAOS.ps
[ICSilv93b] Vernadat, F, Dicesare F, Harhalakis G, Proth JM, Silva M.  1993.  Practice of Petri-nets in manufacturing.
[1064] Olcoz, S, Colom JM.  1993.  A Petri Net Approach for the Analysis of VHDL Descriptions. Correct Hardware Design and Verification Methods. :15-26.
[CPSM-RMUCM-93] Campos, J, Plo BF, Miguel M.  1993.  Boundedness on Stochastic Petri Nets. Revista Matematica de la Universidad Complutense de Madrid. 6:123-136.
0 icon
93_CPSM_RMUCM.ps
[RP-93-38] Ezpeleta, J, Haddad S.  1993.  A distributed algorithm for resource management. :61-72.
1989
[RP-89-01] Velilla, S, Silva M.  1989.  The Spy: A mechanism for safe implementation of highly concurrent systems. :75-81.
1986
[RP-86-06] Montano, L, Pardos P.  1986.  Terminal controllers for robots: Shooting and optimal control. :384-389.
1985
[RP-85-13] Pardos, P, Montano L.  1985.  Robot control using a Shooting Technique: The continuous case. :379-384.
1984
[RP-84-05] Pardos, P, Silva M.  1984.  Hacia la definición de un sistema de programación y control de robots. :139-146.
[RP-84-03] Pardos, P, Silva M.  1984.  A robot programming and control system. :92-97.
1983
[RP-83-07] Pardos, P, Silva M.  1983.  Un plan de prácticas de sistemas de control muestreados. :279-295.
[RP-83-01] Martínez, J, Silva M.  1983.  A package for computer design of concurrent logic control systems. :243-248.
[RP-83-02] Silva, M, Velilla S.  1983.  Programmable logic controllers and Petri nets: A comparative study. :83-88.