Publications of the COSMOS Research Group
2000
[8] Comments on "Deadlock avoidance policy for Petri net modeling of flexible manufacturing systems with shared resources (), In IEEE Transactions on Automatic Control, volume 45, . [bibtex] [url] [doi]
[7] Structurally Safe Net Systems (, and ), Chapter in Discrete Event Systems: Analysis and Control (R. Boel., G. Stremersch, eds.), Springer US, . [bibtex] [url] [doi]
[6]Structuraly Safe Net Systems (, , and ), In Discrete Event Systems: Analysis and Control. Proc. of the Workshop On Discrete Event Systems 2000 (R Boel, G Stremersch, eds.), Kluwer Academic Publishers, . [bibtex]
[5] An Iterative Method for Deadlock Prevention in FMS (, and ), Chapter in Discrete Event Systems: Analysis and Control (Boel, R., Stremersch, G., eds.), Springer US, . [bibtex] [url] [doi]
[4] Some Improvements to the Banker's Algorithm Based on the Process Structure ( and ), In Proceedings of the 2000 IEEE International Conference on Robotics and Automation, ICRA 2000, April 24-28, 2000, San Francisco, CA, USA, IEEE, . [bibtex] [url] [doi]
[3]New Methods for Deadlock Prevention and Avoidance in Concurrent Systems (, , and ), In Actas de las VIII Jornadas de Concurrencia (Diego Cazorla, ed.), . [bibtex]
[2]An Iterative Method for Deadlock Prevention in FMS (, , and ), In Disscrete Event Systems: Analysis and Control. Proc. of the Workshop On Discrete Event Systems 2000 (R Boel, G Stremersch, eds.), Kluwer Academic Publishers, . [bibtex]
[1]New Methods for Deadlock Prevention and Avoidance in Concurrent Systems ( and ), In Actas de las VIII Jornadas de Concurrencia, Ediciones de la Universidad de Castilla-La Mancha, . [bibtex]
Powered by bibtexbrowser