Publications

Export 67 results:
Sort by: Author Title Type [ Year (Asc)]
Filters: First Letter Of Last Name is P  [Clear All Filters]
1983
[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.
[RP-83-07] Pardos, P, Silva M.  1983.  Un plan de prácticas de sistemas de control muestreados. :279-295.
1984
[RP-84-03] Pardos, P, Silva M.  1984.  A robot programming and control system. :92-97.
[RP-84-05] Pardos, P, Silva M.  1984.  Hacia la definición de un sistema de programación y control de robots. :139-146.
1985
[RP-85-13] Pardos, P, Montano L.  1985.  Robot control using a Shooting Technique: The continuous case. :379-384.
1986
[RP-86-06] Montano, L, Pardos P.  1986.  Terminal controllers for robots: Shooting and optimal control. :384-389.
1989
[RP-89-01] Velilla, S, Silva M.  1989.  The Spy: A mechanism for safe implementation of highly concurrent systems. :75-81.
1993
[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.
[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.
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
1996
[PBMRI-96] Pastor, O, Barberá, Merseguer J, Romero J, Insfrán E.  1996.  Descripción de la Herramienta CASE OO-Method. :47.
[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
[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-96c] Pérez-Jiménez, CJ, Campos J, Silva M.  1996.  On Approximate Performance Evaluation of Manufacturing Systems Modelled with Weighted T Systems. :201-207.
0 icon
96_PJCS_c.ps
1997
[PIPRM-97] Pastor, O, Insfrán E, Pelechano V, Romero J, Merseguer J.  1997.  OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods. 1250:145-158.
0 icon
PIPRM-97.pdf
1998
[ICSiTeVaPi98] Silva, M, Teruel E, Valette R, Pingaud H.  1998.  Petri Nets and Production Systems. Lectures on Petri Nets II: Applications. 1492
0 icon
98_STVP_LPN.ps
[PJC-98] Pérez-Jiménez, CJ, Campos J.  1998.  A Response Time Approximation Technique for Stochastic General PT Systems.
0 icon
98_PJC.ps
[RMBP-98] Romero, J, Merseguer J, Barberá, Pastor O.  1998.  Una Herramienta de Generación Automática de Software. :157-169.
1999
[IPTeFrDe99] Teruel, E, Franceschinis G, Pierro M.  1999.  Clarifying the Priority Specification of GSPN Detached Priorities. :114-123.
0 icon
99_TFD_PNPM.ps
[PJC-JJCC99] Pérez-Jiménez, CJ, Campos J.  1999.  On State Space Decomposition for the Numerical Analysis of Stochastic Petri Nets. :249-268.
[PJC-PNPM99] Pérez-Jiménez, CJ, Campos J.  1999.  On State Space Decomposition for the Numerical Analysis of Stochastic Petri Nets. :32-41.
0 icon
99_PJC_PNPM.pdf