Publications

Export 356 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: First Letter Of Last Name is S  [Clear All Filters]
1990
[1360] Colom, JM, Esparza J, Martínez J, Silva M.  1990.  A first collection of challenging problems: A Flexible Manufacturing System. Proceedings of Design Methods Based on Nets (DEMON). Esprit Basic Research Action 3148. W.G. 6: Case Studies. Deliverables Covering the Period June 1989 to June 1990.
[276] Campos, J, Colom JM, Silva M.  1990.  Performance Evaluation of Repetitive Automated Manufacturing Systems. IEEE Rensselaer's Second International Conference on Computer Integrated Manufacturing. :74-81.
0 icon
90_CCS_Rensselaer.ps
[RP-90-08] Best, E, Silva M.  1990.  Minimal Deadlocks in Free Choice nets.
[CS-DS-90] Campos, J, Silva M.  1990.  Steady State Performance Evaluation of Totally Open Systems of Markovian Sequential Processes. :427-438.
0 icon
90_CS_DS.ps
[RP-90-07] Esparza, J, Silva M.  1990.  On the analysis and synthesis of free choice nets.
[RP-90-09] Esparza, J, Silva M.  1990.  Modular Synthesis of Free Choice Nets.
[RP-90-10] Esparza, J, Silva M.  1990.  A polynomial-time algorithm to decide liveness of bounded free choice nets.
[RP-90-11] Silva, M, Valette R.  1990.  Petri Nets and Flexible Manufacturing. 424:374-417.
[RP-90-14] Murata, T, Silva M.  1990.  Petri-Net Based Fairness Concepts for Discrete Event Systems. :549-557.
1989
[RP-89-07] Martínez, J, Silva M.  1989.  A knowledge representation environment for manufacturing control systems design and prototyping. :585-590.
[RP-89-02] Murata, T, Silva M.  1989.  Fair control of discrete event systems via Petri nets. :19-23.
[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
[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.
[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.
[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.
[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.
[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.
1988
[RP-88-07] Martínez, J, Silva M.  1988.  GRAMAN: A Graphic System for Manufacturing System Design. :79-84.