Modeling advanced manufacturing systems using concurrent logic programming

Ross, 1985, Applications and extensions of SADT, IEEE Computer, 25, 10.1109/MC.1985.1662862 Lissandre, 1985, SAS — a specification support system, 221 Davis, 1982, Data flow program graph, IEEE Computer, 26, 10.1109/MC.1982.1653939 Demarco, 1978 Pritsker, 1986, Introduction to Simulation and SLAM II Steudel, 1986, SIMSHOP: a jobshop cellular manufacturing simulator, J. of Manufacturing Systems, 5, 181, 10.1016/0278-6125(86)90045-2 Noh, 1988, Simulation model for an individual robotic manufacturing cell, Int. J. Prod. Res., 26, 63, 10.1080/00207548808947841 Flynn, 1986, A simulation comparison of group technology with traditional job shop manufacturing, Int. J. Prod. Res., 24, 1171, 10.1080/00207548608919795 Dubios, 1983, Using Petri nets to represent production processes, 1062 Narahari, 1985, Applications of Petri net based models in the modeling and analysis of flexible manufacturing systems, Annals of Operations Research, 449, 10.1007/BF02023780 Barad, 1988, Flexibility in manufacturing systems: definitions and Petri net modeling, Int. J. Prod. Res., 26, 237, 10.1080/00207548808947856 Ravichandran, 1986, Decision support in flexible, manufacturing systems using timed Petri nets, J. of Manufacturing Systems, 5, 89, 10.1016/0278-6125(86)90003-8 Jensen, 1987, Colored Petri nets, 248 Shapiro, 1986, Concurrent Prolog: A Progress Report, IEEE Computer, 19, 44, 10.1109/MC.1986.1663307 Mierowsky, 1984, Design and implementation of flat concurrent Prolog Takeuchi, 1986, Parallel logic programming languages, 225, 242, 10.1007/3-540-16492-8_79 Clark, 1987, A relational language for parallel programming, 1, 9 Clark, 1987, PARLOG: parallel programming in logic, 1, 84 Ueda, 1987, Guarded Horn Clauses, 1, 140 Hirata, 1985, Self description of Oc and its applications, 153 Hoare, 1978, Communicating sequential processes, Comm. ACM, 21, 666, 10.1145/359576.359585 Dijkstra, 1975, Guarded commands, nondeterminancy and formal derivation of programs, Comm. of ACM, 18, 453, 10.1145/360933.360975 Sterling, 1986