Publications

Export 332 results:
Sort by: [ Author (Asc)] Title Type Year
Filters: First Letter Of Last Name is S  [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]
S
[RP-89-08] Silva, M.  1989.  Logical controllers. :157-166bis.
T
[RP-89-11] Tardós, Silva M.  1989.  Multisensor Object Recognition using an Hypothesis-Verification Scheme. :265-272.
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.
M
[RP-89-17] Martínez, J, Silva M.  1989.  GRAMAN: a graphic system for manufacturing system design. :311-316.
V
[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-90-02] Esparza, J, Silva M.  1990.  Top-down synthesis of live & bounded Free Choice Nets. :63-83.
M
[RP-90-03] Martínez, J, Silva M.  1990.  A first collection of challenging problems: A flexible manufacturing system.
E
[RP-90-07] Esparza, J, Silva M.  1990.  On the analysis and synthesis of free choice nets.
B
[RP-90-08] Best, E, Silva M.  1990.  Minimal Deadlocks in Free Choice nets.
E
[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.
S
[RP-90-11] Silva, M, Valette R.  1990.  Petri Nets and Flexible Manufacturing. 424:374-417.
V
[RP-90-12] Valette, R, Silva M.  1990.  A Rede de Petri: Una Ferramenta para la Automa{\c c}ao Fabril. :181-200.
M
[RP-90-14] Murata, T, Silva M.  1990.  Petri-Net Based Fairness Concepts for Discrete Event Systems. :549-557.
E
[RP-91-18] Esparza, J, Silva M.  1991.  On the Analysis and Synthesis of Free Choice Systems. 483:243-286.
S
[RP-91-26] Silva, M, Watanabe T.  1991.  On periodic schedules for deterministically timed Petri nets systems. :210-215.
E
[RP-91-29] Esparza, J, Silva M.  1991.  Circuits, handles, bridges and nets. 483:210-242.
[RP-91-30] Esparza, J, Silva M.  1991.  Top-down synthesis of live and bounded free choice nets. 524:118-139.
[RP-91-31] Esparza, J, Silva M.  1991.  Compositional synthesis of live and bounded free-choice nets.
M
[RP-91-32] Muro, P, Silva M.  1991.  Modelling, validation and software implementation of production systems using high-level Petri nets. :618-623.
S
[RP-92-05] Silva, M, Muro P.  1992.  Petri nets in a knowledge representation schema for the coordination of plant elements. :271-276.
[RP-92-06] Sánchez, B, Silva M.  1992.  Response time approximation for the performance analysis of manufacturing systems modeled with stochastic marked graphs. :1000-1005.
J
[RP-92-10] Jungnitz, H, Silva M.  1992.  An aproximation method for the performance analysis of manufacturing systems based on GSPNs. :46-55.
S
[RP-92-12] Silva, M, Murata T.  1992.  B-Fairness and Structural B-Fairness in Petri Net Models of Concurrent Systems. Journal of Computer and System Sciences. 44:447-477.
[RP-92-13] Sánchez, B, Silva M.  1992.  Approximate throughput computation of stochastic marked graphs. Journal of Parallel and distributed computing. 15:282-295.