Juan-Pablo
López-Grao

Research: My publications



This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the Publisher.

Journals and book chapters

  1. J. P. López-Grao, J. M. Colom, F. Tricas, "Structural deadlock prevention policies for Flexible Manufacturing Systems: A Petri net outlook", in Formal Methods in Manufacturing (chapter 7), J. Campos, C. Seatzu and X. Xie (eds), series: Series on Industrial Information Technology, pp. 197-228, 2014. CRC Press/Taylor and Francis. bibtex draft More information (external website)
    @incollection{LGC-CRCBOOK14, author = {L\'{o}pez-Grao, J-P. and Colom, J-M. and Tricas, F.}, title = {Structural deadlock prevention policies for Flexible Manufacturing Systems: A Petri net outlook}, booktitle = {Formal Methods in Manufacturing}, series = {Series on Industrial Information Technology}, year = {2014}, chapter = {7}, pages = {197--228}, editor = {Campos, J. and Seatzu, C. and Xie, X.}, publisher = {CRC Press/Taylor and Francis} }
  2. J. P. López-Grao, J. M. Colom, "Structural methods for the control of Discrete Event Dynamic Systems – The case of the Resource Allocation Problem", in Control of Discrete-Event Systems. Automata and Petri net perspectives (chapter 13), C. Seatzu, M. Silva and J. H. van Schuppen (eds), series: Lecture Notes in Control and Information Sciences, volume 433, pp. 257-278, 2013. Springer. bibtex draft More information (external website)
    @incollection{LGC-DISCBOOK13, author = {L\'{o}pez-Grao, J-P. and Colom, J-M.}, title = {Structural methods for the control of Discrete Event Dynamic Systems – The case of the Resource Allocation Problem}, booktitle = {Control of Discrete-Event Systems. Automata and Petri net perspectives}, series = {LNCIS}, year = {2013}, chapter = {13}, editor = {Seatzu, C. and Silva, M. and van Schuppen, J-H.}, volume = {433}, pages = {257--278}, publisher = {Springer}, address = {Heidelberg, Germany} }
  3. J. P. López-Grao, J. M. Colom, "A Petri Net Perspective on the Resource Allocation Problem in Software Engineering", in Transactions On Petri Nets and Other models of Concurrency (ToPNoC), K. Jensen, S. Donatelli and J. Kleijn (eds), volume V, series: Lecture Notes in Computer Science, volume 6900, pp. 181-200, 2012. Springer. bibtex draft More information (external website)
    @ARTICLE{LGC-TOPNOC12, author = {L\'{o}pez-Grao, J-P. and Colom, J-M.}, title = {A Petri Net Perspective on the Resource Allocation Problem in Software Engineering}, journal = {Transactions On Petri Nets and Other models of Concurrency (ToPNoC) V}, series = {LNCS}, year = {2012}, editor = {Jensen, K. and Donatelli, S. and Kleijn, J.}, volume = {6900}, pages = {181--200}, publisher = {Springer}, address = {Heidelberg, Germany} }
  4. J. P. López-Grao, J. M. Colom, "Resource Allocation Systems: Some complexity results on the S4PR class", in Lecture Notes in Computer Science, volume 4229, pp. 323-338, 2006. Springer. bibtex draft More information (external website)
    @INCOLLECTION{LGC-FORTE06, author = {L\'{o}pez-Grao, J-P. and Colom, J-M.}, title = {Resource {A}llocation {S}ystems: {S}ome complexity results on the {S$^4$PR} class}, booktitle = {Formal Techniques for Networked and Distributed Systems - FORTE 2006}, editor = {Najm, E. and Pradat-Peyre, J-F. and Donzeau-Gouge, V-V.}, year = {2006}, series = {LNCS}, publisher = {Springer}, pages = {323--338}, volume = {4229}, issn = {0302-9743}, doi = {10.1007/11888116_24}, url = {http://dx.doi.org/10.1007/11888116_24} }
  5. J. P. López-Grao, J. Merseguer, and J. Campos, "From UML Activity Diagrams to Stochastic Petri Nets: Application to Software Performance Engineering", in ACM SIGSOFT Software Engineering Notes, volume 29, issue 1, pp. 25-36, 2004. ACM. bibtex draft More information (external website)
    @ARTICLE{LGMC-SSEN04, author = {J.P. L{\'o}pez-Grao and J. Merseguer and J. Campos}, title = {From {UML} Activity Diagrams to Stochastic {Petri} Nets: Application to Software Performance Engineering}, journal = {SIGSOFT Software Engineering Notes}, volume = {29}, issue = {1}, month = {January}, year = {2004}, issn = {0163-5948}, pages = {25--36}, numpages = {12}, publisher = {ACM}, address = {New York, NY, USA}, doi = {10.1145/974043.974048}, url = {http://doi.acm.org/10.1145/974043.974048} }

Peer-reviewed conferences

  1. J. P. López-Grao, J. M. Colom, F. Tricas, "The deadlock problem in the control of Flexible Manufacturing Systems: An overview of the Petri net approach", in Proceedings of the 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2014), pp. 1-12, Barcelona, Spain. 2014. IEEE. To appear. bibtex
    @INPROCEEDINGS{LGCT-ETFA14, author = {L\'{o}pez-Grao, J-P. and Colom, J-M. and Tricas, F.}, title = {The deadlock problem in the control of Flexible Manufacturing Systems: An overview of the Petri net approach}, booktitle = {Proceedings of the 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2014)}, year = {2014. To appear.}, month = {September}, publisher = {IEEE}, address = {Barcelona, Spain} }
  2. J. P. López-Grao, J. M. Colom, "On the Deadlock Analysis of Multithreaded Control Software", in Proceedings of the 16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2011), pp. 1-8, Toulouse, France. 2011. IEEE. bibtex draft More information (external website)
    @INPROCEEDINGS{LGC-ETFA11, author = {L\'{o}pez-Grao, J-P. and Colom, J-M.}, title = {On the Deadlock Analysis of Multithreaded Control Software}, booktitle = {Proceedings of the 16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2011)}, year = {2011}, month = {September}, isbn = {978-1-4577-0017-0}, publisher = {IEEE}, doi = {10.1109/ETFA.2011.6059039}, url = {http://dx.doi.org/10.1109/ETFA.2011.6059039}, address = {Toulouse, France} }
  3. J. P. López-Grao, J. M. Colom, "The Resource Allocation Problem In Software Applications: A Petri Net Perspective", in Proceedings of the International Workshop on Petri Nets and Software Engineering PNSE'10, pp. 7-21, Braga, Portugal. 2010. bibtex More information (external website)
        also in: Recent Advances in Petri Nets and Concurrency, S. Donatelli, J. Kleijn, R.J. Machado, J.M. Fernandes (eds.), CEUR Workshop Proceedings, vol. 827, pp. 219-233, ISSN 1613-0073. January 2012. More information (external website)
    @INPROCEEDINGS{LGC-PNSE10, author = {L\'{o}pez-Grao, J-P. and Colom, J-M.}, title = {The Resource Allocation Problem In Software Applications: A {P}etri Net Perspective}, booktitle = {Proceedings of the International Workshop on Petri Nets and Software Engineering PNSE'10}, year = {2010}, month = {October}, editor = {Duvigneau, M. and Moldt, D.}, pages = {7--21}, isbn = {978-972-8692-55-1}, address = {Braga, Portugal} }
  4. J. P. López-Grao, J. M. Colom, "Resource Allocation Systems: Some complexity results on the S4PR class", in Proceedings of the 26th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems, pp. 323-338, 2006. Springer. bibtex More information (external website)
    @INCOLLECTION{LGC-FORTE06, author = {L\'{o}pez-Grao, J-P. and Colom, J-M.}, title = {Resource {A}llocation {S}ystems: {S}ome complexity results on the {S$^4$PR} class}, booktitle = {Formal Techniques for Networked and Distributed Systems - FORTE 2006}, editor = {Najm, E. and Pradat-Peyre, J-F. and Donzeau-Gouge, V-V.}, year = {2006}, series = {LNCS}, publisher = {Springer}, pages = {323--338}, volume = {4229}, doi = {10.1007/11888116_24}, url = {http://dx.doi.org/10.1007/11888116_24} }
  5. J. P. López-Grao, J. M. Colom, "Lender processes competing for shared resources: Beyond the S4PR paradigm", in Proceedings of the 2006 International Conference on Systems, Man and Cybernetics, pp. 3052-3059, Taipei, Taiwan, 2006. IEEE. bibtex draft More information (external website)
    @INPROCEEDINGS{LGC-SMC06, author = {L\'{o}pez-Grao, J-P. and Colom, J-M.}, title = {Lender processes competing for shared resources: {B}eyond the {S$^4$PR} paradigm}, booktitle = {Proceedings of the 2006 International Conference on Systems, Man and Cybernetics}, year = {2006}, month = {October}, publisher = {IEEE}, volume = 4, pages = {3052--3059}, isbn = {1-4244-0099-6}, address = {Taipei, Taiwan}, doi = {10.1109/ICSMC.2006.384584}, url = {http://dx.doi.org/10.1109/ICSMC.2006.384584} }
  6. J. P. López-Grao, J. Merseguer, and J. Campos, "From UML Activity Diagrams to Stochastic Petri Nets: Application to Software Performance Engineering", in Proceedings of the Fourth International Workshop on Software and Performance (WOSP’04), pp. 25-36, Redwood City, California, USA, 2004. ACM. bibtex More information (external website)
    @INPROCEEDINGS{LGMC-WOSP04, author = {J.P. L{\'o}pez-Grao and J. Merseguer and J. Campos}, title = {From {UML} Activity Diagrams to Stochastic {Petri} Nets: Application to Software Performance Engineering}, booktitle = {Proceedings of the Fourth International Workshop on Software and Performance {(WOSP'04)}}, year = {2004}, pages = {25--36}, address = {Redwood City, California, USA}, isbn = {1-58113-673-0}, month = {January}, publisher = {ACM}, note = {Also in ACM SIGSOFT Software Engineering Notes, Vol. 29, no. 1, 2004.}, doi = {10.1145/974044.974048}, url = {http://dx.doi.org/10.1145/974044.974048} }
  7. J. P. López-Grao, J. Merseguer, and J. Campos, "Performance Engineering Based on UML and SPN's: A Software Performance Tool", in Proceedings of the Seventeenth International Symposium on Computer and Information Sciences, pp. 405-409, Orlando, Florida, USA, 2002. CRC Press (Taylor & Francis Group). bibtex draft More information (external website)
    @INPROCEEDINGS{LGMC-02c, author = {J.P. L{\'o}pez-Grao and J. Merseguer and J. Campos}, title = {Performance Engineering Based on {UML} and {SPN's}: A Software Performance Tool}, booktitle = {Proceedings of the Seventeenth International Symposium on Computer and Information Sciences (ISCIS XVII)}, year = {2002}, pages = {405--409}, address = {Orlando, Florida, USA}, month = {October}, organization = {University of Central Florida}, publisher = {CRC Press}, isbn = {0-8493-1390-9}, url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/02_LGMC_ISCIS.pdf} }
  8. J. P. López-Grao, J. Merseguer, and J. Campos, "On the Use of Formal Models in Software Performance Evaluation", in Actas de las X Jornadas de Concurrencia, pp. 367-387, Jaca, Spain, 2002. bibtex draft More information (external website)
    @INPROCEEDINGS{LGMC-02b, author = {J.P. L{\'o}pez-Grao and J. Merseguer and J. Campos}, title = {On the Use of Formal Models in Software Performance Evaluation}, booktitle = {Actas de las {X} Jornadas de Concurrencia}, year = {2002}, pages = {367--387}, address = {Jaca, Spain}, month = {June}, publisher = {Universidad de Zaragoza}, isbn = {84-88502-98-2}, url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/02_LGMC_JJCC.pdf} }

PhD thesis

  1. J. P. López-Grao, "Contributions to the deadlock problem in multithreaded software applications observed as Resource Allocation Systems. Dpt. of Computer Science and Systems Engineering. University of Zaragoza (Spain). 2013. bibtex
    @phdthesis{LG-PhD13, author = {L\'{o}pez-Grao, J-P.}, title = {Contributions to the deadlock problem in multithreaded software applications observed as {R}esource {A}llocation {S}ystems}, school = {Dpt. of Computer Science and Systems Engineering. University of Zaragoza}, type = {{Ph.D. Thesis}}, year = {2013} }

Research reports

  1. J. P. López-Grao "Sketching architectural concerns on distributed discrete event simulation based on Petri Nets", Research Report LG03-RR-027-03, Department of Computer Science and Systems Engineering. University of Zaragoza. Spain. July 2003. 11 pages.