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 |
| URI: | http://eprints.kingston.ac.uk/id/eprint/20542 |
Actions (Repository Editors)
 |
Item Control Page |