{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T03:34:04Z","timestamp":1648697644547},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1992,2,1]],"date-time":"1992-02-01T00:00:00Z","timestamp":696902400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Intell Manuf"],"published-print":{"date-parts":[[1992,2]]},"DOI":"10.1007\/bf01471749","type":"journal-article","created":{"date-parts":[[2005,4,13]],"date-time":"2005-04-13T18:58:39Z","timestamp":1113418719000},"page":"31-41","source":"Crossref","is-referenced-by-count":2,"title":["Concurrent modeling language (CML) for discrete process modeling, simulation and control"],"prefix":"10.1007","volume":"3","author":[{"given":"D.","family":"Ben-Arieh","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","first-page":"66","volume":"3","author":"M. W. Alford","year":"1977","unstructured":"Alford, M. W. (1977) A requirements engineering methodology for real time processing requirements.IEEE Transactions on Software Engineering,SE-3, 66?8.","journal-title":"IEEE Transactions on Software Engineering, SE"},{"key":"CR2","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1177\/003754978604600402","volume":"46","author":"C. J. Antonelli","year":"1986","unstructured":"Antonelli, C. J., Volts, R. A. and Mudge, T. N. (1986) Hierarchical decomposition and simulation of manufacturing cells using ada.Simulation,46, 141?52.","journal-title":"Simulation"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1145\/357139.357144","volume":"3","author":"J. A. Barnden","year":"1981","unstructured":"Barnden, J. A. (1981) Nonsequentiality and concrete activity phases in discrete event simulation languages.ACM Transactions on Programming Languages and Systems,3, 293?317.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"CR4","unstructured":"Ben-Arieh, D. (1988) A knowledge based simulation and control system, inArtificial Intelligence: Implications for CIM, Kusiak, A. (ed.), Springer-Verlag, pp. 257?68."},{"issue":"No. 4","key":"CR5","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1016\/0736-5845(91)90008-G","volume":"8","author":"D. Ben-Arieh","year":"1991","unstructured":"Ben-Arieh, D. (1991) Concurrent modeling and simulation of multi robot systems.Robotics and Computer Integrated Manufacturing Vol. 8 No. 4, 67?73.","journal-title":"Robotics and Computer Integrated Manufacturing"},{"key":"CR6","doi-asserted-by":"crossref","unstructured":"Bezivin, J. (1987) Some experiments in object oriented simulation, inProceedings of OOPSLA.","DOI":"10.1145\/38765.38843"},{"key":"CR7","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1109\/32.4651","volume":"14","author":"J. Billington","year":"1988","unstructured":"Billington, J., Wheeler, G. R. and Wilbur-Hum, M. C. (1988) Protean: a high level Petri net tool for the specification and verification of communication protocols.IEEE Transactions on Software Engineering,14, 301?16.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"CR8","unstructured":"Bowen, D. L., Byrd, L., Pereira, L. M., Pereira, F. C. N. and Worren, D. H. (1981)Prolog on the DEC system-10 users manual, University of Edinburgh."},{"key":"CR9","unstructured":"Bruno, G. and Biglia, P. (1985) Performance evaluation and validation of tool handling in FMS using petri nets.Proceedings of International Workshop on Timed Petri Nets, Torino, Italy, July 1?3, pp. 64?71."},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"Dubois, D. and Stecke, K. E. (1983) Using Petri nets to represent production processes, inProceedings of IEEE Conference on Decision and Control, Texas, pp. 1062?7.","DOI":"10.1109\/CDC.1983.269683"},{"issue":"No. 2","key":"CR11","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1016\/0736-5845(87)90099-8","volume":"3","author":"N. A. Duffie","year":"1987","unstructured":"Duffie, N. A., and Piper, R. S. (1987) Non hierarchical control of a flexible manufacturing cell.Robotics and Computer Integrated Manufacturing,3, No. 2, 175?180.","journal-title":"Robotics and Computer Integrated Manufacturing"},{"key":"CR12","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1109\/TSE.1986.6312945","volume":"12","author":"G. Estrin","year":"1986","unstructured":"Estrin, G., Fennchel, R. S., Razouk, R. R. and Vernon, M. K. (1986) SARA: modeling analysis and simulation support for design of concurrent systems.IEEE Transactions on Software Engineering 12, 293?310.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"CR13","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D. (1987) Statecharts: a visual formalism for complex systems.Science of Computer Programming,8, 231?74.","journal-title":"Science of Computer Programming"},{"key":"CR14","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1007\/978-3-642-82453-1_17","volume-title":"Logics and Models of Concurrent Systems","author":"D. Harel","year":"1985","unstructured":"Harel, D. and Pnueli, A. (1985) On the development of reactive systems inLogics and Models of Concurrent Systems, Apt, K. R. (ed.), Springer, New York, pp. 477?98."},{"key":"CR15","doi-asserted-by":"crossref","first-page":"248","DOI":"10.1007\/978-3-540-47919-2_10","volume-title":"Petri nets: central models and their properties","author":"K. Jensen","year":"1987","unstructured":"Jensen, K. (1987) Colored Petri nets, inPetri nets: central models and their properties, Brauer W., Reisig, W. and Rozenberg, G. (eds), Springer-Verlag, Berlin, pp. 248?99."},{"key":"CR16","first-page":"221","volume-title":"System Description Methodologies","author":"M. Lissander","year":"1985","unstructured":"Lissander, M., Lagier, P. and Skalli, A. (1985) SAS: a specification support system, inSystem Description Methodologies, Elsevier Science Publishers, UK, pp. 221?37."},{"key":"CR17","doi-asserted-by":"crossref","first-page":"420","DOI":"10.1109\/TSE.1980.230490","volume":"6","author":"L. J. Mekly","year":"1980","unstructured":"Mekly, L. J. and Yau, S. S. (1980) Software design representation using abstract process networks,IEEE Transactions on Software Engineering,SE-6, 420?35.","journal-title":"IEEE Transactions on Software Engineering, SE"},{"key":"CR18","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1177\/003754978404200404","volume":"42","author":"M. Melman","year":"1984","unstructured":"Melman, M., and Livny, M. (1984) The DISS methodology of distributed system simulation.Simulation,42, 163?76.","journal-title":"Simulation"},{"key":"CR19","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1145\/6462.6485","volume":"18","author":"J. Misra","year":"1986","unstructured":"Misra, J. (1986) Distributed discrete event simulation.Computing Surveys,18, 39?65.","journal-title":"Computing Surveys"},{"key":"CR20","doi-asserted-by":"crossref","first-page":"112","DOI":"10.1177\/003754978805000304","volume":"50","author":"K. J. Murray","year":"1988","unstructured":"Murray, K. J. and Sallie, V. S. (1988) Knowledge based simulation and specification.Simulation 50, 112?19.","journal-title":"Simulation"},{"key":"CR21","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1016\/0166-3615(89)90053-5","volume":"12","author":"D. K. Pathak","year":"1989","unstructured":"Pathak, D. K. and Krogh, B. H. (1989) Concurrent operation specification language, COSL, for low level manufacturing control.Computers in Industry,12, 107?122.","journal-title":"Computers in Industry"},{"key":"CR22","volume-title":"Petri Net Theory and The Modeling of Systems","author":"J. L. Peterson","year":"1981","unstructured":"Peterson, J. L. (1981)Petri Net Theory and The Modeling of Systems, Prentice Hall, New Jersey."},{"key":"CR23","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1177\/003754978704800408","volume":"48","author":"R. Readdy","year":"1987","unstructured":"Readdy, R. (1987) Epistemology of knowledge based simulation.Simulation,48, 162?6.","journal-title":"Simulation"},{"key":"CR24","first-page":"325","volume":"April","author":"D. T. Ross","year":"1985","unstructured":"Ross, D. T. (1985) Applications and extensions of SADT.IEEE Computer,April, 325?34.","journal-title":"IEEE Computer"},{"key":"CR25","volume-title":"Concurrent Prolog: Collected Papers","year":"1987","unstructured":"Shapiro, E. (ed.) (1987)Concurrent Prolog: Collected Papers, vol. 1 and 2, MIT Press, Mass."},{"key":"CR26","doi-asserted-by":"crossref","first-page":"412","DOI":"10.1145\/72551.72555","volume":"21","author":"E. Shapiro","year":"1989","unstructured":"Shapiro, E. (1989) The family of concurrent logic programming languages.Computing Surveys,21, 412?510.","journal-title":"Computing Surveys"},{"key":"CR27","volume-title":"The Art of Prolog","author":"L. Sterling","year":"1986","unstructured":"Sterling, L. and Shapiro, E. (1986)The Art of Prolog, MIT Press, Mass."},{"key":"CR28","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1109\/MC.1984.1659053","volume":"Feb.","author":"H. U. Steusloff","year":"1984","unstructured":"Steusloff, H. U. (1984) Advanced real time languages for distributed industrial process control.IEEE Computer,Feb., 37?46.","journal-title":"IEEE Computer"},{"key":"CR29","first-page":"72","volume":"6","author":"P. D. Stotts","year":"1985","unstructured":"Stotts, P. D. (1985) The PFG language: visual programming for concurrent computation.Simulation 6, 72?9.","journal-title":"Simulation"},{"key":"CR30","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/BF03037066","volume":"3","author":"A. Takeuchi","year":"1985","unstructured":"Takeuchi, A. and Furukawa, K. (1985) Bounded buffer communication in concurrent prolog.New Generation Computing 3, 145?55.","journal-title":"New Generation Computing"},{"key":"CR31","first-page":"156","volume":"5","author":"D. Vermeir","year":"1986","unstructured":"Vermeir, D. (1986) OOPS: a knowledge representation language.IEEE Transactions on Software Engineering,5, 156?68.","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Journal of Intelligent Manufacturing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01471749.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01471749\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01471749","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,6]],"date-time":"2020-04-06T20:54:51Z","timestamp":1586206491000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01471749"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,2]]},"references-count":31,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1992,2]]}},"alternative-id":["BF01471749"],"URL":"https:\/\/doi.org\/10.1007\/bf01471749","relation":{},"ISSN":["0956-5515","1572-8145"],"issn-type":[{"value":"0956-5515","type":"print"},{"value":"1572-8145","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992,2]]}}}