A A A

Grupo de I+D en Computación Distribuida (DisCo)

Otras publicaciones de interés

  • J.Nogueras-Iso, F.J.Zarazaga-Soria, R.Béjar, P. Álvarez and P.R.Muro-Medrano. OGC Catalog Services: a key element for the development of Spatial Data Infrastructures. Computer and Geosciences, vol. 31/2, pp. 199-209, 2005.
  • J. R. R. Viqueira, P. Álvarez, J. Varela and P.J. Saco. Architecture of a Natural Disasters Management Framework and its application to Risk Assessment. 8th AGILE Conference on GI, pp. 529-538, Estoril (Portugal), 2005.
  • F. Tricas, F.García-Vallés, J.M. Colom and J. Ezpeleta. A Petri Net Structure-Based Deadlock Prevention Solution for Sequential Resource Allocation Systems. IEEE International Conference on Robotics and Automation, pp. 271-277, Barcelona (Spain), 2005.
  • L.Recalde, M. Silva, J. Ezpeleta and E. Teruel. Petri Nets and Manufacturing Systems: An Examples-Driven Tour. Lecture Notes on Concurrency and Petri Nets, Desel, Jörg; Reisig, Wolfgang; Rozenberg, Grzegorz (Eds.), vol. 3098, pp. 742-788, 2004.
  • J. Ezpeleta and L. Recalde. A Deadlock Avoidance Approach for Non-Sequential Resource Allocation Systems. IEEE Transactions on Systems, Man and Cybernetics, Part-A: Systems and Humans, vol. 34, n. 1, 2004.
  • S. Eichler, F. Dötzer, C. Schwingenschlögl, J. Eberspächer and J. Fabra. Secure Routing in a Vehicular Ad Hoc Network. IEEE 60th Vehicular Technology Conference, Lecture Notes in Computer Science, 2004.
  • E. Mata, P. Álvarez, J.A. Bañares and J. Rubio. Towards and Efficient Rule-Based Coordination of Web Services. IX Ibero-american Conference on Artificial Intelligence (IBERAMIA'04), Lecture Notes on Artificial Intelligence, vol. 3315, pp. 73-82, 2004.
  • P. Álvarez, J.A. Bañares and P.R. Muro-Medrano. An architectural Pattern to Extend the Interaction Model between Web-services. First International Conference on Service-Oriented Computing (ICSOC'03), Lecture Notes in Computer Science, vol. 2910, pp. 271-286, 2003.
  • F. Tricas and J. Ezpeleta. Some results on siphon computation for deadlock prevention in resource allocation systems modelled with Petri nets. 2003 IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'03), pp. 322-329, 2003.
  • J. Ezpeleta, P. Gascón and N. Porta. COMPAS: un compilador para un lenguaje imperativo con aserciones embebidas. Novática, vol. 163, pp. 47-51, 2003.
  •  J. Ezpeleta and R. Valk. A polynomial solution for deadlock avoidance in assembly systems modelled with Petri nets. Multiconference on Computational Engineering in Systems Applications (CESA’2003), Lille (France), 2003.
  • D. Moldt and J. Ezpeleta. A Proposal for Flexible Testing of Deadlock Control Strategies in Resource Allocation Systems. International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA'03), Vienna (Austria), 2003.
  • P. Álvarez, J.A. Bañares, E. Mata, P.R. Muro-Medrano and J. Rubio. Generative Communication with Semantic Matching in Distributed Heterogenous Environment. International Conference on Computer Aided Systems Theory, Lecture Notes in Computer Science, vol. 2809, pp. 231-242, 2003.
  • P. Álvarez, J.A. Bañares, P.R. Muro-Medrano, F.J. Nogueras and F.J.Zarazaga. A Java Coordination Tool for Web-service Architectures: The Location-Based Service Context. Scientific Engineering for Distributed Java Applications, Lecture Notes in Computer Science, vol. 2604, pp. 1-14, 2003.
  • P. Álvarez, J. A. Bañares, R. Béjar and M. A. Latre. Extending OpenGIS services to gain access to real time data through a Web-Coordination service. 6th AGILE Conference on GI, pp. 189-196, Lyon (France), 2003.
  • P. Álvarez, J. A. Bañares and M. Á. Latre. Coordinación de servicios Web en el contexto de los servicios basados en la localización. XI Jornadas de Concurrencia y Sistemas Distribuidos, pp. 93-106, Benicasim (Spain), 2003.
  • P. Álvarez, J.A. Bañares,  P.R. Muro-Medrano and F.J. Zarazaga. Integration of location based services for Field support in CRM systems. Geoinformatics, vol. 5, pp. 36-39, 2002.
  • J. Ezpeleta and L. Recalde. A Deadlock Avoidance Approach for Non-Sequential Resource Allocation Systems. IEEE International Conference on Systems, Man and Cybernetics, Hammamet (Tunisia), 2002.
  • J. Ezpeleta, F. Tricas, F. García-Vallés and J.M. Colom. A Banker's solution for deadlock avoidance in FMS with flexible routing and multi-resource states. IEEE Transactions on Robotics and Automation, vol. 18, n. 4, pp. 621-625, 2002.
  • J. Ezpeleta, R.Novoa and M.A. Barea. Una herramienta para el estudio de técnicas de análisis sintáctico. Novática, vol. 151, pp. 53-55, 2001.
  • F.J. Zarazaga, P. Álvarez, J.A. Bañares, J. Nogueras, J. Valiño and P.R. Muro-Medrano. Examples of vehicle location systems using CORBA-based distributed real-time GPS data and services. Computers, Environment and Urban Systems, vol. 25/3, pp. 293-305, 2001.
  • P. Álvarez, J. A. Bañares,  R. Béjar, M. A. Latre and P. Fernández. LBS for Fleet Tracking and Management Services through the Internet. 7th European Commission GI and GIS Workshop, Managing the Mosaic (EC-GIS'01), Potsdam (Germany), 2001.
  • J. A. Bañares, P. Álvarez,  R. Béjar, S. Blasco and P.R. Muro-Medrano. Enhancing Field Service Support in CRM Systems with LBS. 7th European Commission GI and GIS Workshop, Managing the Mosaic (EC-GIS'01), Potsdam (Germany), 2001.
  • J. A. Bañares, P. Álvarez, O. Cantán, P. Fernández, M. Casanovas and P. R. Muro-Medrano. Integration of location-based services for Field support in CRM. 4th AGILE Conference on GI, pp. 501-508, Brno (Czech Republic), 2001.
  • J. Ezpeleta. Flexible Manufacturing Systems. Chapter 26 of the book “Petri Nets for System Engineering: A Guide to Modeling, Verification and Applications”, ISBN 3-540-41217-4, Springer-Verlag, 2001.
  • F.G. Vallés, J.M. Colom and J. Ezpeleta. Comment on “Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources”. IEEE Transactions on Automatic Control, vol. 45, n. 9, pp. 1760-176, 2000.
  • F. Tricas, F.G. Vallés, J.M. Colom and J. Ezpeleta. An Iterative Method for Deadlock Prevention in FMS. 5th Workshop on Discrete Event Systems (WODES 2000), Ghent (Belgium), 2000.
  • F.G. Vallés, F. Tricas, J. Ezpeleta and J.M. Colom. Structurally Safe Net Systems. 5th Workshop on Discrete Event Systems (WODES 2000), Ghent (Belgium), 2000.
  • F. Tricas, J.M. Colom and J. Ezpeleta. Some Improvements to the Banker's Algorithm based on the process structure. IEEE International Conference on Robotics and Automation, pp. 2853-2858, San Francisco (USA), 2000.
  • P. Álvarez, J.A. Bañares, P. Fernández, R. López, P.R. Muro-Medrano, J. Nogueras and F.J. Zarazaga. Trabajo con Tecnologías de Objetos Distribuidos: Experiencias del Grupo de Sistemas de Información Avanzados. Primer Taller de Trabajo en Ingeniería del Software basada en Componentes Distribuidos (IScDIS’00), pp. 77-82, Valladolid (Spain), 2000.
  • F.J. Zarazaga, R. López, J. Nogueras, O. Cantán, P. Álvarez and P.R. Muro-Medrano. Cataloguing and recovering distributed geospatial data, a Java approach to build the OpenGIS Catalog Services. 6th European Commission GI and GIS Workshop (EC-GIS'00), Lyon (France), 2000.
  • F.J.Zarazaga, R.López, J. Nogueras, O. Cantán, P. Álvarez and P.R.Muro-Medrano. First Steps to Set Up Java Components for the OpenGIS Catalog Services and its Software Infrastructure. 3rd AGILE Conference on GI, Helsinki/Espoo (Finland), 2000.
  • M. Á. Latre, R. Béjar, P. Fernández, P. Álvarez and P. R. Muro-Medrano. Trying Java technology in a Geologic-Mining Information System distributed over an inter/itranet environment. Telegeo‘2000 Second International Symposium on Telegeoprocessing, Niza (France), 2000.
  • F.J.Zarazaga, P. Álvarez, J. Guillo, R. López and J. Valiño. Use Cases of vehicle location systems based on distributed real-time GPS data. Telegeo‘2000 Second International Symposium on Telegeoprocessing, Niza (France), 2000.
  • F. Tricas, J.M. Colom and J. Ezpeleta. A solution to the problem of deadlocks in concurrent systems using Petri nets and integer linear programming. 11th European Simulation Symposium and Exhibition Simulation in Industry, pp. 542-546, Erlangen-Nuremberg (Germany), 1999.
  • F. Tricas and J. Ezpeleta. A Petri Net Solution to the Problem of Deadlocks ins Systems of Processes with Resources. Conference on Emerging Technologies and Factory Automation (ETFA), pp. 1047-1056, Barcelona (Spain), 1999.
  • J. Ezpeleta, F. García-Vallés and J.M. Colom. A class of well structured Petri nets for Flexible Manufacturing Systems, Lecture Notes on Computer Science, J. Desel and M. Silva, Springer-Verlag, vol. 1420, pp. 64-83, 1998.
  • F. Tricas, F. García-Vallés, J.M. Colom and J. Ezpeleta. A structural approach to the problem of deadlock prevention in processes with resources. IEEE International Workshop on Discrete Event Systems (WODES’98), pp. 273-278, Cagliary (Italy), 1998.
  • F. García-Vallés, F. Tricas, J. Ezpeleta and J.M. Colom. Optimal control of discrete event systems. IEEE International Workshop on Discrete Event Systems (WODES’98), pp. 88-93, Cagliary (Italy), 1998.
  • S. Comella, J. Zarazaga, J. Ezpeleta, D. Infante, R. López and P.R. Muro-Medrano. Una visión de las posibilidades del estándar OpenGIS para la interoperabilidad de aplicaciones GIS sobre CORBA. IV Congreso sobre Teconología de Objetos, pp. 35-40, Bilbao (Spain), 1998.
  • J. Ezpeleta and J.M. Colom. Automatic Synthesis of Colored Petri Nets for the Control of FMS. IEEE Transactions on Robotics and Automation, vol. 13, n. 3, pp. 327-337, 1997.
  • F. Tricas and J. Ezpeleta. A partial approach to the problem of deadlocks in processes with resources. Workshop on Petri Nets in System Engineering: Modelling, Verification and Validation, B. Farwer, D. Moldt, M.O. Stehr (Eds.), pp. 135-150, Hamburg (Germany), 1997.
  • J. Ezpeleta, J.M. Colom and J. Martínez. A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Robotics and Automation, vol. 11, n. 2, pp. 173-184, 1995.
  • J. Ezpeleta, J.M. Couvreur and M. Silva. A new technique for finding a generating family of siphons, traps and st-components. Application to colored Petri Nets, Advances in Petri Nets, Lecture Notes on Computer Science, G. Rozenberg, vol. 674, pp. 126-147, 1993.
  • J. Ezpeleta and S. Haddad. A Distributed Algorithm for Resource Management. M. Cosnard and R. Puigjaner, Elsevier B.V. (North-Holland), Decentralized & Distributed Systems (A-39), 1993.
  • J. Ezpeleta. Análisis y Síntesis de Modelos Libres de Bloqueo para Sistemas Concurrentes. Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, Zaragoza (Spain), 1993.
  • J. Ezpeleta and S. Haddad. A Distributed Algorithm for Resource Management. International Conference on Decentralized and Distributed Systems (ICDDS'93), Palma de Mallorca (Spain), 1993.
  • J. Ezpeleta, J.M. Colom and J. Martínez. A Petri net based deadlock prevention policy for flexible manufacturing systems. III Jornadas de Concurrencia y Sistemas Distribuidos, Universidad Politécnica de Valencia, pp. 199-230, Valencia (Spain), 1993.
  • J. Ezpeleta, J. Martínez and J.M. Colom. Synthesis of Live High Level Models for a Class of FMS. IEEE Computer Society Press, International Conference on Systems, Man and Cybernetics. Systems Engineering in the Service of Humans (IEEE/SMC'93), pp. 589-594, Le Touquet (France), 1993.
  • P. Muro, J. Ezpeleta and J.L. Villarroel. A Rule-Petri Net Integrated Approach for the Modeling and Analysis of Manufacturing Systems. J.C. Gentina and S.G. Tzafetas (Ed.), North-Holland, Robotics and Flexible Manufacturing Systems, pp. 349-358, 1992.
  • J. Ezpeleta and J. Martínez. Petri Nets as a Specification Language for Manufacturing Systems. J.C. Gentina and S.G. Tzafestas (Ed.), Elsevier Science Publishers B.V. (North Holland), Robotics and Flexible Manufacturing Systems, pp. 427-436, 1992.
  • J. Ezpeleta and J. Martínez. Formal Specification and Validation in Production Plants. 3th International Conference on Computer Integrated Manufacturing, Rensselaer Polytechnic Institute, pp. 64-73, Troy (New York), 1992.
  • P. Muro, J. Ezpeleta and J.L. Villarroel. Knowledge Based Manufacturing Modeling and Analysis by Integrating Petri Nets. IEEE Computer Society Press, IMACS-MCTS Symposium, pp. 660-668, Lille (France), 1991.
  • J. Ezpeleta and J. Martínez. Petri Nets as a Specification Language for Manufacturing Systems. IMACS World Congress on Computation and Applied Mahematics, Dublin (Ireland), 1991.
  • J. Ezpeleta and J.M. Couvreur. A new technique for finding a generating family of siphons, traps and st-components. Application to colored Petri Nets. 12th. International Conference on Application and Theory of Petri Nets, pp. 145-164, Aarhus (Denmark), 1991.

 

FVAVANTGRD0708 1.5 RGSTRD
© 2017 Grupo de I+D en Computación Distribuida - DisCo