Deadlock Control Software for Tow Automated Guided Vehicles using Petri Nets
Title | Deadlock Control Software for Tow Automated Guided Vehicles using Petri Nets |
Publication Type | Conference Paper |
Year of Publication | 2010 |
Authors | Rovetto, C, Cano E, Colom JM |
Editor | Duvigneau, M, Moldt D |
Conference Name | Proceedings of the International Workshop on Petri Nets and Software Engineering - PNSE'10 |
Date Published | 06/2010 |
Publisher | University of Hamburg Department of Informatics |
Conference Location | Braga, Portugal |
Keywords | Petri nets software engineering modelling validation verification application tool |
URL | http://epub.sub.uni-hamburg.de/informatik/volltexte/2010/148/pdf/B_294_10.pdf |
DOI | http://epub.sub.uni-hamburg.de/informatik/volltexte/2010/148/ |
Export |
Files: