Publications

Export 663 results:
Sort by: Author Title Type [ Year (Asc)]
1987
[ICSilv87] Silva, M.  1987.  Towards a Synchrony Theory for P/T Nets. Concurrency and Nets. :435-460.
[1344] Colom, JM, Martínez J, Silva M.  1987.  Packages for validating discrete production systems modeled with Petri nets. Applied Modelling and Simulation of Technological Systems. :529-536.
[995] Silva, M, Colom JM.  1987.  On the structural computation of synchronic invariants in P/T nets. Eighth European Workshop on Application and Theory of Petri Nets. :237-258.
[1347] Silva, M, Colom JM.  1987.  On the structural computation of synchronic invariants in P/T nets. I Jornadas de Concurrencia.
[RP-87-07] Silva, M, Murata T.  1987.  On synchonic distance and B-fair relations for Petri nets. :270-278.
[RP-87-08] Montano, L, Silva M.  1987.  Sistemas modernos de programación de robots. :25-52.
[RP-87-05] Muro, P, Silva M.  1987.  Modeling, Validation and Software Implementation of Production Systems Using High Level Petri Nets. :1180-1185.
1988
[365] Silva, M, Colom JM.  1988.  On the Computation of Structural Synchronic Invariants in P/T Nets. Advances in Petri Nets 1988. :386-417.
[1001] Leu, D, Silva M, Colom JM, Murata T.  1988.  Interrelationships among various concepts of fairness for Petri nets. 31st Midwest Symposium on Circuits and Systems. :1141-1144.
[RP-88-03] Velilla, S, Silva M.  1988.  The spy: a mechanism for safe implementation of highly concurrent systems. :95-102.
[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.
[RP-88-07] Martínez, J, Silva M.  1988.  GRAMAN: A Graphic System for Manufacturing System Design. :79-84.
1989
[ICSiVa89] Silva, M, Valette R.  1989.  Petri Nets and Flexible Manufacturing. :374-417.
[RP-89-06] Esparza, J, Silva M.  1989.  Circuits, handles, bridges and nets. :134-153.
[RP-89-17] Martínez, J, Silva M.  1989.  GRAMAN: a graphic system for manufacturing system design. :311-316.
[RP-89-01] Velilla, S, Silva M.  1989.  The Spy: A mechanism for safe implementation of highly concurrent systems. :75-81.
[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.
[1005] Colom, JM, Silva M.  1989.  Improving the linearly based characterization of P/T nets. 10th International Conference on Application and Theory of Petri Nets. :52-73.
[1006] Colom, JM, Silva M.  1989.  Convex Geometry and Semiflows in P/T nets. A comparative study of algorithms for computation of minimal P-semiflows. 10th International Conference on Application and Theory of Petri Nets. :74-95.
[1348] Colom, JM.  1989.  Análisis structural de redes de Petri, programación lineal y geometría convexa. Departamento de Ingeniería Eléctrica e Informática. Tesis Doctoral
[RP-89-08] Silva, M.  1989.  Logical controllers. :157-166bis.
[RP-89-11] Tardós, Silva M.  1989.  Multisensor Object Recognition using an Hypothesis-Verification Scheme. :265-272.
[CCS-Kyoto-89] Campos, J, Chiola G, Silva M.  1989.  Properties and Steady State Performance Bounds for Petri Nets with Unique Repetitive Firing Count Vector. :210-220.
0 icon
89_CCS_Kyoto.ps
[CS-Lyon-89] Campos, J, Silva M.  1989.  Steady State Performance Evaluation of Totally Open Systems of Markovian Sequential Processes. :559-585.