Publications
Filters: Author is M. Silva [Clear All Filters]
[IPReMaSi06] Improving analysis and simulation of continuous Petri Nets. :7–12.
.
2006.
[1342] Implicit Places in Net Systems. IEEE 8th International Workshop on Petri Nets and Performance Models (PNPM'99). :104-113.
.
1999.
[1226] Hybrid Petri nets as an approximation to Markovian Petri nets. IFAC Conference on Analysis and Design of Hybrid Systems.
.
2009.
[1268] Hybrid Petri net model of a traffic intersection in an urban network. 2010 IEEE Multiconference on Systems and Control.
.
2010.
[1531] Hybrid and Hybrid Adaptive Petri Nets: on the computation of a Reachability Graph. Nonlinear Analysis: Hybrid Systems. 16
.
2015.
[1490] Half a century after Carl Adam Petri's PhD thesis: a perspective on the field. Annual Reviews in Control. 37(2):191-219.
.
2013.
[RP-80-04] Hacia una nueva concepción del análisis y diseño de los sistemas lógicos secuenciales. :14-33.
.
1980.
[RP-82-04] Hacia una nueva concepción del análisis y diseño de los sistemas lógicos secuenciales. :51-57.
.
1982.
[RP-84-05] Hacia la definición de un sistema de programación y control de robots. :139-146.
.
1984.
[RP-88-07] GRAMAN: A Graphic System for Manufacturing System Design. :79-84.
.
1988.
[RP-89-17] GRAMAN: a graphic system for manufacturing system design. :311-316.
.
1989.
[246] A General Iterative Technique for Approximate Throughput Computation of Stochastic Marked Graphs. Performance Evaluation of parallel and distributed systems. Solution Methods. :265-283.
.
1994.
[252] 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.
.
1993.
[243] Functional and Performance Analysis of Cooperating Sequential Processes. Quantitative Methods in Parallel Systems. :52-65.
.
1995.
[248] Functional and Performance Analysis of Cooperating Sequential Processes. Performance Evaluation of parallel and distributed systems. Solution Methods. :234-251.
.
1994.
[249] Functional and Performance Analysis of Cooperating Sequential Processes. 11th International Conference on Analysis and Optimization Systems. Discrete Event Systems. :169-175.
.
1994.
[1548] From Discrete to Continuous Models: A Perspective on Fluidization of Petri Nets. ECC'2014: European Control Conference.
.
2014.
[IPJiReSi01] Forrester Diagrams and Continuous Petri Nets A Comparative View. :85-94.
.
2001.
[IPKLMA08] Formal analysis of timed continuous Petri net.
.
2008.
[1445] Fluidization and Fluid views of Discrete Event Systems. 15th Int. Conf. on System Theory, Control and Computing.
.
2011.
.
1990.
[1360] 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.
.
1990.
[1282] Fault diagnosis of manufacturing systems using continuous Petri nets. 2010 IEEE International Conference on Systems, Man, and Cybernetics.
.
2010.
[1452] Fault Diagnosis of Discrete-Event Systems using Continuous Petri Nets. IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans. 42(4):970-984.
.
2012.
[1465] Fault Diagnosis Graph of Time Petri Nets. ECC'13: European Control Conference.
.
2013.