F. Garcia-Valles

An Iterative Method for Deadlock Prevention in FMS

Joaquín Ezpeleta, José Manuel Colom, Fernando Tricas, 2000 .

A Boolean approach to the state machine decomposition of Petri nets with OBDD's

F. Garcia-Valles, J.M. Colom, 1995, 1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century.

An approach to modelling fms with dynamic object petri nets

D. Moldt, F. Garcia-Valles, B. Farwer, 2002, IEEE International Conference on Systems, Man and Cybernetics.