Publications
Filters: Author is J. Ezpeleta [Clear All Filters]
[911] New Methods for Deadlock Prevention and Avoidance in Concurrent Systems. Actas de las VIII Jornadas de Concurrencia. :97-110.
.
2000.
[RP-90-04] The lift example.
.
1990.
[RP-91-03] Knowledge based manufacturing modelling and analysis by integrating Petri nets. :660-668.
.
1991.
[912] An Iterative Method for Deadlock Prevention in FMS. Discrete Event Systems. Analysis and Control. :139-148.
.
2000.
[RP-92-09] Formal specification and validation in production plants. :64-73.
.
1992.
[RP-90-05] Flexible manufacturing system.
.
1990.
[RP-93-21] A distributed algorithm for ressource management. :15-26.
.
1993.
[RP-93-38] A distributed algorithm for resource management. :61-72.
.
1993.
[EzRe-04] A Deadlock Avoidance Approach for Non-Sequential Resource Allocation Systems. IEEE Transactions on Systems, Man and Cybernetics. Part-A: Systems and Humans. 34
.
2004.
.
2002.
[EzGP-03] COMPAS: un compilador para un lenguaje imperativo con aserciones embebidas. :47-51.
.
2003.
[1092] Comments on "Deadlock Avoidance Policy for Petri-Net Modeling of Flexible Manufacturing Systems with Shared Resources". IEEE Transactions on Automatic Control. 45(9):1760-1762.
.
2000.
[1083] A Class of Well Structured Petri Nets for Flexible Manufacturing Systems. Application and Theory of Petri Nets 1998. :64-83.
.
1998.
[910] A Banker's Solution for Deadlock Avoidance in FMS with Flexible Routing and Multiresource States. IEEE Transactions on Robotics and Automation. 18(4):621-625.
.
2002.
[1079] Automatic Synthesis of Colored Petri Nets for the Control of FMS. IEEE Transactions on Robotics and Automation. 13(3):327-337.
.
1997.