Publications
] Filters: Author is M. Silva [Clear All Filters]
[ICEsSi90a] .
1991. Circuits, Handles, Bridges and Nets. Advances in Petri Nets 90. 483:210-242.
[ICEsSi90b] .
1991. On the Analysis and Synthesis of Free Choice Systems. Advances in Petri Nets 90. 483:243-286.
[672] .
1991. Improving the Linearly Based Characterization of P/T Nets. Advances in Petri Nets 1990. :113-145.
[673] .
1991. Convex Geometry and Semiflows in P/T Nets. A Comparative Study of Algorithms for Computation of Minimal P-Semiflows. Advances in Petri Nets 1990. :79-112.
[RP-91-29] .
1991. Circuits, handles, bridges and nets. 483:210-242.
[RP-91-30] .
1991. Top-down synthesis of live and bounded free choice nets. 524:118-139.
[RP-91-31] .
1991. Compositional synthesis of live and bounded free-choice nets.
[RP-91-32] .
1991. Modelling, validation and software implementation of production systems using high-level Petri nets. :618-623.
[RP-90-12] .
1990. A Rede de Petri: Una Ferramenta para la Automa{\c c}ao Fabril. :181-200.
[RP-90-02] .
1990. Top-down synthesis of live & bounded Free Choice Nets. :63-83.
[RP-90-03] .
1990. A first collection of challenging problems: A flexible manufacturing system.
[271] .
1990. On liveness analysis through linear algebraic techniques. Proceedings of Design Methods Based on Nets (DEMON). Esprit Basic Research Action 3148. W.G. 3: Algebra and Proof Methods. Deliverables Covering the Period June 1989 to June 1990.
[1358] .
1990. Improving the linearly based characterization of P/T nets. Proceedings of Design Methods Based on Nets (DEMON). Esprit Basic Research Action 3148. W.G. 3: Algebra and Proof Methods. Deliverables Covering the Period June 1989 to June 1990.
[1359] .
1990. Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal p-semiflows. Proceedings of Design Methods Based on Nets (DEMON). Esprit Basic Research Action 3148. W.G. 3: Algebra and Proof Methods. Deliverables Covering the Period June 1989 to June 1990.
[1360] .
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] .
1990. Performance Evaluation of Repetitive Automated Manufacturing Systems. IEEE Rensselaer's Second International Conference on Computer Integrated Manufacturing. :74-81.
[RP-90-08] .
1990. Minimal Deadlocks in Free Choice nets.
[CS-DS-90] .
1990. Steady State Performance Evaluation of Totally Open Systems of Markovian Sequential Processes. :427-438.
[RP-90-07] .
1990. On the analysis and synthesis of free choice nets.
[RP-90-09] .
1990. Modular Synthesis of Free Choice Nets.
[RP-90-10] .
1990. A polynomial-time algorithm to decide liveness of bounded free choice nets.
[RP-90-11] .
1990. Petri Nets and Flexible Manufacturing. 424:374-417.
[RP-90-14] .
1990. Petri-Net Based Fairness Concepts for Discrete Event Systems. :549-557.
[RP-89-07] .
1989. A knowledge representation environment for manufacturing control systems design and prototyping. :585-590.
[RP-89-02] .
1989. Fair control of discrete event systems via Petri nets. :19-23.
