Publications
Filters: Author is F. Tricas [Clear All Filters]
[1482] Structural deadlock prevention policies for Flexible Manufacturing Systems: A Petri net outlook. Formal Methods in Manufacturing. Abstract
.
2014.
[907] Structuraly Safe Net Systems. Discrete Event Systems. Analysis and Control. :441-448.
.
2000.
[1337] Using Linear Programming and the Petri Net Structure for Deadlock Prevention in Sequential Resource Allocation Systems. Actas de las XIII Jornadas de Concurrencia y Sistemas Distribuidos (JCSD’2005). :65-77.
.
2005.