Modeling flexible manufacturing systems: the concurrent logic programming approach
- 1 January 1991
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Robotics and Automation
- Vol. 7 (1) , 135-148
- https://doi.org/10.1109/70.68077
Abstract
No abstract availableKeywords
This publication has 25 references indexed in Scilit:
- Concurrent logic programming as a hardware description toolIEEE Transactions on Computers, 1990
- Synchronization of operations in a flexible manufacturing cell: The Petri net approachJournal of Manufacturing Systems, 1986
- Decision support in flexible manufacturing systems using timed Petri netsJournal of Manufacturing Systems, 1986
- Applications of petri net based models in the modelling and analysis of flexible manufacturing systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1986
- A Petri net approach to the modelling and analysis of flexible manufacturing systemsAnnals of Operations Research, 1985
- Bounded buffer communication in Concurrent PrologNew Generation Computing, 1985
- Fair, biased, and self-balancing merge operators: Their specification and implementation in Concurrent PrologNew Generation Computing, 1984
- Derivation of a termination detection algorithm for distributed computationsInformation Processing Letters, 1983
- A survey of flexible manufacturing systemsJournal of Manufacturing Systems, 1982
- Guarded commands, nondeterminacy and formal derivation of programsCommunications of the ACM, 1975