Publications
] Filters: First Letter Of Last Name is S [Clear All Filters]
[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.
[IPReMaSi06] .
2006. Improving analysis and simulation of continuous Petri Nets. :7–12.
[1402] .
2006. Improvement of Image Transform Calculation Based on a Weighted Primitive. International Conference on Image Analysis and Recognition 2006.
[1342] .
1999. Implicit Places in Net Systems. IEEE 8th International Workshop on Petri Nets and Performance Models (PNPM'99). :104-113.
[1373] .
2010. IEC 61499 execution model based on life cycle of function blocks. 15th IEEE International Conference on Emerging Techonologies and Factory Automation (ETFA’2010). Abstract
[1226] .
2009. Hybrid Petri nets as an approximation to Markovian Petri nets. IFAC Conference on Analysis and Design of Hybrid Systems.
[1268] .
2010. Hybrid Petri net model of a traffic intersection in an urban network. 2010 IEEE Multiconference on Systems and Control.
[1531] .
2015. Hybrid and Hybrid Adaptive Petri Nets: on the computation of a Reachability Graph. Nonlinear Analysis: Hybrid Systems. 16
[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.
[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.
[RP-84-05] .
1984. Hacia la definición de un sistema de programación y control de robots. :139-146.
[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.
[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.
[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.
[BDM-WOSP-02] .
2002. From UML Sequence Diagrams and Statecharts to analysable Petri Net models. :35-45.
[1548] .
2014. From Discrete to Continuous Models: A Perspective on Fluidization of Petri Nets. ECC'2014: European Control Conference.
[IPJiReSi01] .
2001. Forrester Diagrams and Continuous Petri Nets A Comparative View. :85-94.
[IPKLMA08] .
2008. Formal analysis of timed continuous Petri net.
[1445] .
2011. Fluidization and Fluid views of Discrete Event Systems. 15th Int. Conf. on System Theory, Control and Computing.
