Publications

Export 653 results:
Sort by: [ Author (Desc)] Title Type Year
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 
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.
[RP-92-26] Silva, M, Muro P.  1992.  Scheduling en celdas autónomas de ensamblaje basado en un algoritmo de tiempo mínimo en RdP. :55-60.
E
[RP-92-31] Esparza, J, Silva M.  1992.  A polynomial-time algorithm to decide liveness of bounded free choice nets. Theoretical Computer Science. :185-205.
S
[RP-93-03] Silva, M, Watanabe T.  1993.  Qualitative analysis of periodic schedules for deterministically timed Petri net systems. IEICE Transactions.
[RP-93-10] Silva, M.  1993.  Interleaving functional and performance structural analysis of Net models. 691:17-23.
M
[RP-93-14] Muro, P, Silva M.  1993.  Modular composition of intelligent control policies for FMS models. :405-410.
S
[1057] Silva, M, Colom JM.  1993.  Petri Nets applied to the modelling and analysis of computer architecture problems. Microprocessing and Microprogramming. The EUROMICRO Journal. 38(1):1-11.
C
[RP-93-56] Couvreur, JM, Silva M.  1993.  A new technique for finding a generating family of siphons, traps and st-components. 674:126-147.