Æȷοì
Juan-Pablo López-Grao
Juan-Pablo López-Grao
Former professor of Computer Science, University of Zaragoza, Spain
unizar.esÀÇ À̸ÞÀÏ È®ÀÎµÊ - ȨÆäÀÌÁö
Á¦¸ñ
Àοë
Àοë
¿¬µµ
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
ÇöÀç ½Ã½ºÅÛÀÌ ÀÛµ¿µÇÁö ¾Ê½À´Ï´Ù. ³ªÁß¿¡ ´Ù½Ã ½ÃµµÇØ ÁÖ¼¼¿ä.
ÇмúÀÚ·á 1–16