Follow
Juan-Pablo López-Grao
Juan-Pablo López-Grao
Former professor of Computer Science, University of Zaragoza, Spain
Verified email at unizar.es - Homepage
Title
Cited by
Cited by
Year
From UML activity diagrams to Stochastic Petri nets: application to software performance engineering
JP López-Grao, J Merseguer, J Campos
ACM SIGSOFT Software Engineering Notes 29 (1), 25-36, 2004
2872004
Performance engineering based on UML and SPNs: A software performance tool
JP López-Grao, J Merseguer, J Campos
International Symposium On Computer and Information Sciences (ISCIS XVII …, 2002
27*2002
A Petri net perspective on the resource allocation problem in software engineering
JP López-Grao, JM Colom
Transactions on Petri Nets and Other Models of Concurrency V, 181-200, 2012
222012
Lender processes competing for shared resources: Beyond the S4PR paradigm
JP López-Grao, JM Colom
Systems, Man and Cybernetics, 2006. SMC'06. IEEE International Conference on …, 2006
152006
Structural methods for the control of discrete event dynamic systems–The case of the resource allocation problem
JP López-Grao, JM Colom
Control of Discrete-Event Systems, 257-278, 2013
132013
On the deadlock analysis of multithreaded control software
JP Lopez-Grao, JM Colom
Emerging Technologies & Factory Automation (ETFA'2011), 16th IEEE …, 2011
122011
Resource Allocation Systems: Some complexity results on the S4PR class
JP Lopez-Grao, JM Colom
IFIP Lecture Notes in Computer Science (LNCS), 323-338, 2006
102006
Resource Allocation Systems: Some complexity results on the S4PR class
JP López-Grao, JM Colom
Formal Techniques for Networked and Distributed Systems-FORTE 2006, 323-338, 2006
102006
The deadlock problem in the control of Flexible Manufacturing Systems: An overview of the Petri net approach
JP López-Grao, JM Colom, F Tricas
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation …, 2014
72014
Structural deadlock prevention policies for flexible manufacturing systems: A Petri net outlook
JP López-Grao, JM Colom, F Tricas
Formal Methods in Manufacturing, Series on Industrial Information Technology …, 2014
7*2014
The resource allocation problem in software applications: A Petri net perspective
JP López-Grao, JM Colom
International Workshop on Petri Nets and Software Engineering (PNSE'10), 7-21, 2010
72010
On the use of formal models in Software Performance Evaluation
JP López-Grao, J Merseguer, J Campos
X Jornadas de Concurrencia, 367-387, 2002
52002
Contributions to the deadlock problem in multithreaded software applications observed as Resource Allocation Systems
JP López-Grao
University of Zaragoza, 2013
42013
Un servicio para la comunidad mediante Aprendizaje Basado en Proyectos
C San Miguel Moncín
University of Zaragoza, 2019
2019
Materia troncal Redes en Ingeniería Informática III
J Alastruey Benedé, T Monreal Arnal, LC Aparicio Cardiel, R Gran Tejero, ...
Universidad de Zaragoza, 2008
2008
Sketching architectural concerns on distributed discrete event simulation based on Petri nets
JP López-Grao
2003
The system can't perform the operation now. Try again later.
Articles 1–16