Publications
] Filters: First Letter Of Title is I [Clear All Filters]
[1391] .
2004. II Jornadas sobre Domótica y Automatización Industrial. II Jornadas sobre Domótica y Automatización Industrial.
[912] .
2000. An Iterative Method for Deadlock Prevention in FMS. Discrete Event Systems. Analysis and Control. :139-148.
[1069] .
1994. Implementation of Weighted Place/Transition Nets based on Linear Enabling Functions. Application and Theory of Petri Nets 1994. :99-118.
[1339] .
1998. Introduction to Verification. Systems Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, HCM-MATCH Advanced Schools. :171-190.
[1342] .
1999. Implicit Places in Net Systems. IEEE 8th International Workshop on Petri Nets and Performance Models (PNPM'99). :104-113.
[GMM_WOMP06] .
2006. Impact of SOAP Implementations in the Performance of a Web Service-based Application. 4331:884-896.
[1559] .
2016. Inexpensive robot for experimental validation of planning and control algorithms. ICSTCC'2016: 20th International Conference on System Theory, Control and Computing.
[1297] .
2012. Inseparability and Strong Hypotheses for Disjoint NP Pairs. Theory of Computing Systems. 51:229-247.
[1302] .
2010. Inseparability and Strong Hypotheses for Disjoint NP Pairs. Twenty-Seventh Symposium on Theoretical Aspects of Computer Science (STACS'10).
[RM_ISARCS10] .
2010. Integrating Fault-Tolerant Techniques into the Design of Critical Systems. 1st International Symposium on Architecting Critical Systems. 6150:33--51.
[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
[1402] .
2006. Improvement of Image Transform Calculation Based on a Weighted Primitive. International Conference on Image Analysis and Recognition 2006.
[SC-MATCH20-98] .
1998. Introduction to Net Driven Decomposition Techniques. :693-718.
[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.
[ICSilv93a] .
1993. Interleaving Functional and Performance Structural Analysis of Net Models. Application and Theory of Petri Nets 1993. 691:17-23.
[672] .
1991. Improving the Linearly Based Characterization of P/T Nets. Advances in Petri Nets 1990. :113-145.
[IPReMaSi06] .
2006. Improving analysis and simulation of continuous Petri Nets. :7–12.
[RP-87-01] .
1987. Introducción a los Robots Industriales y sus aplicaciones.
[1001] .
1988. Interrelationships among various concepts of fairness for Petri nets. 31st Midwest Symposium on Circuits and Systems. :1141-1144.
[1005] .
1989. Improving the linearly based characterization of P/T nets. 10th International Conference on Application and Theory of Petri Nets. :52-73.
[RP-93-10] .
1993. Interleaving functional and performance structural analysis of Net models. 691:17-23.
[RP-93-57] .
1993. Introducing Petri Nets.
[1280] .
2010. An Iterative Control Method for Distributed Continuous Petri Nets. CDC10: 49th IEEE Conference on Decision and Control.
[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.
