Concepedia

F. García-Vallés

FG

Statistics

Publications

4

Citations

335

H-Index

4

Active since

2002

Affiliations

Universidad de Zaragoza(Current)

F. García-Vallés is an author at Universidad de Zaragoza specializing in engineering, computer engineering, and systems engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringComputer EngineeringFormal MethodsProcess ControlProduction SystemsFormal VerificationOperations ResearchBusiness

Publications per year

2002–2006

4

Publications

4

A Banker's solution for deadlock avoidance in FMS with flexible routing and multiresource states

J. Ezpeleta, F. García-Vallés, José Manuel Colom · IEEE Transactions on Robotics and Automation · 2002 · 143 citations

Petri Net, Engineering, Industrial Engineering +23

A Petri Net Structure– Based Deadlock Prevention Solution for Sequential Resource Allocation Systems

F. García-Vallés, José Manuel Colom, J. Ezpeleta · 2006 · 130 citations

Petri Net, Engineering, Dynamic Resource Allocation +23

Implicit places in net systems

F. García-Vallés, José Manuel Colom · 2003 · 38 citations

Petri Net, Engineering, Reachability Problem +19

Synthesis of asynchronous controllers using integer linear programming

Josep Carmona, José Manuel Colom, Jordi Cortadella et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2006 · 24 citations · Full text

1–4 of 4