Deadlock Control Software for Tow Automated Guided Vehicles using Petri Nets

TitleDeadlock Control Software for Tow Automated Guided Vehicles using Petri Nets
Publication TypeConference Paper
Year of Publication2010
AuthorsRovetto, C, Cano E, Colom JM
EditorDuvigneau, M, Moldt D
Conference NameProceedings of the International Workshop on Petri Nets and Software Engineering - PNSE'10
Date Published06/2010
PublisherUniversity of Hamburg Department of Informatics
Conference LocationBraga, Portugal
KeywordsPetri nets software engineering modelling validation verification application tool
URLhttp://epub.sub.uni-hamburg.de/informatik/volltexte/2010/148/pdf/B_294_10.pdf
DOIhttp://epub.sub.uni-hamburg.de/informatik/volltexte/2010/148/
Export