Concurrent operation specification language, COSL, for low-level manufacturing control
- 1 May 1989
- journal article
- Published by Elsevier in Computers in Industry
- Vol. 12 (2) , 107-122
- https://doi.org/10.1016/0166-3615(89)90053-5
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Design of integrated manufacturing system control softwareIEEE Transactions on Systems, Man, and Cybernetics, 1987
- Interactive State-Space Analysis of Concurrent SystemsIEEE Transactions on Software Engineering, 1987
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987
- Process-translatable Petri nets for the rapid prototyping of process control systemsIEEE Transactions on Software Engineering, 1986
- An Autonomous, Decentralized Control System for Factory AutomationComputer, 1984
- Software Technology in the 1990's: Using a New ParadigmComputer, 1983
- Distributed Software System Design Representation Using Modified Petri NetsIEEE Transactions on Software Engineering, 1983
- Toward a discipline of real-time programmingCommunications of the ACM, 1977