From UML activity diagrams to Stochastic Petri nets: application to software performance engineering. - Juan-Pablo López-Grao; José Merseguer; Javier Campos (WOSP, 2004)

Resource Allocation Systems: Some Complexity Results on the S4PR Class. - Juan-Pablo López-Grao; José Manuel Colom (FORTE, 2006)

Lender processes competing for shared resources: Beyond the S4PR paradigm. - Juan-Pablo López-Grao; José Manuel Colom (SMC, 2006)

The Resource Allocation Problem in Software Applications: A Petri Net Perspective. - Juan-Pablo López-Grao; José Manuel Colom (ACSD/Petri Nets Workshops, 2010)

On the deadlock analysis of multithreaded control software. - Juan-Pablo López-Grao; José Manuel Colom (ETFA, 2011)

A Petri Net Perspective on the Resource Allocation Problem in Software Engineering. - Juan-Pablo López-Grao; José Manuel Colom (Trans. Petri Nets Other Model. Concurr., 2012)

Structural Methods for the Control of Discrete Event Dynamic Systems - The Case of the Resource Allocation Problem. - Juan-Pablo López-Grao; José Manuel Colom (Control of Discrete-Event Systems, 2013)

The deadlock problem in the control of Flexible Manufacturing Systems: An overview of the Petri net approach. - Juan-Pablo López-Grao; José Manuel Colom; Fernando Tricas (ETFA, 2014)