Passmore, Peter Jonathan (1990) A formal Petri net/temporal logic based tool for the analysis and design of manufacturing control systems. (PhD thesis), Kingston Polytechnic.Full text not available from this archive.
Official URL: http://ethos.bl.uk/OrderDetails.do?did=481&uin=uk....
|Item Type:||Thesis (PhD)|
|Additional Information:||In collaboration with International Computers Limited. This work was supported by the Science and Engineering Research Council.|
|Physical Location:||This item is held in stock at Kingston University Library.|
|Depositing User:||Automatic Import Agent|
|Date Deposited:||09 Sep 2011 21:39|
|Last Modified:||16 Apr 2012 11:53|
Actions (Repository Editors)
|Item Control Page|