A formal Petri net/temporal logic based tool for the analysis and design of manufacturing control systems
The development of manufacturing control systems is a complex and expensive task for which sophisticated development tools and techniques are needed. Although there has been some progress in the development of structured methods to aid system specification and design, there has been less headway in...
| Main Author: | |
|---|---|
| Published: |
Kingston University
1990
|
| Subjects: | |
| Online Access: | https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.280625 |