Publications
] Filters: Author is M. Silva [Clear All Filters]
[IPKLMA08] .
2008. Formal analysis of timed continuous Petri net.
[IPJiReSi01] .
2001. Forrester Diagrams and Continuous Petri Nets A Comparative View. :85-94.
[1548] .
2014. From Discrete to Continuous Models: A Perspective on Fluidization of Petri Nets. ECC'2014: European Control Conference.
[243] .
1995. Functional and Performance Analysis of Cooperating Sequential Processes. Quantitative Methods in Parallel Systems. :52-65.
[248] .
1994. Functional and Performance Analysis of Cooperating Sequential Processes. Performance Evaluation of parallel and distributed systems. Solution Methods. :234-251.
[249] .
1994. Functional and Performance Analysis of Cooperating Sequential Processes. 11th International Conference on Analysis and Optimization Systems. Discrete Event Systems. :169-175.
[246] .
1994. A General Iterative Technique for Approximate Throughput Computation of Stochastic Marked Graphs. Performance Evaluation of parallel and distributed systems. Solution Methods. :265-283.
[252] .
1993. A General Iterative Technique for Approximate Throughput Computation of Stochastic Marked Graphs. IEEE 5th International Workshop on Petri Nets and Performance Models (PNPM'93). :138-147.
[RP-88-07] .
1988. GRAMAN: A Graphic System for Manufacturing System Design. :79-84.
[RP-89-17] .
1989. GRAMAN: a graphic system for manufacturing system design. :311-316.
[RP-84-05] .
1984. Hacia la definición de un sistema de programación y control de robots. :139-146.
[RP-80-04] .
1980. Hacia una nueva concepción del análisis y diseño de los sistemas lógicos secuenciales. :14-33.
[RP-82-04] .
1982. Hacia una nueva concepción del análisis y diseño de los sistemas lógicos secuenciales. :51-57.
[1490] .
2013. Half a century after Carl Adam Petri's PhD thesis: a perspective on the field. Annual Reviews in Control. 37(2):191-219.
[1531] .
2015. Hybrid and Hybrid Adaptive Petri Nets: on the computation of a Reachability Graph. Nonlinear Analysis: Hybrid Systems. 16
[1268] .
2010. Hybrid Petri net model of a traffic intersection in an urban network. 2010 IEEE Multiconference on Systems and Control.
[1226] .
2009. Hybrid Petri nets as an approximation to Markovian Petri nets. IFAC Conference on Analysis and Design of Hybrid Systems.
[1342] .
1999. Implicit Places in Net Systems. IEEE 8th International Workshop on Petri Nets and Performance Models (PNPM'99). :104-113.
[IPReMaSi06] .
2006. Improving analysis and simulation of continuous Petri Nets. :7–12.
[672] .
1991. Improving the Linearly Based Characterization of P/T Nets. Advances in Petri Nets 1990. :113-145.
[1005] .
1989. Improving the linearly based characterization of P/T nets. 10th International Conference on Application and Theory of Petri Nets. :52-73.
[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.
[259] .
1992. Improving Throughput Upper Bounds for Net Based Models. Robotics and Flexible Manufacturing Systems. :281-294.
[263] .
1991. Improving Throughput Upper Bounds for Net Based Models. IMACS MCTS’91 International Symposium on Modeling and Control of Technological Systems. 1:573-582.
[RP-85-02] .
1985. Inteligencia Artificial y Robótica Industrial.
