{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T13:46:57Z","timestamp":1766065617778},"reference-count":68,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1994,4,1]],"date-time":"1994-04-01T00:00:00Z","timestamp":765158400000},"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":[[1994,4]]},"DOI":"10.1007\/bf00572403","type":"journal-article","created":{"date-parts":[[2004,11,21]],"date-time":"2004-11-21T01:54:19Z","timestamp":1101002059000},"page":"103-120","source":"Crossref","is-referenced-by-count":41,"title":["A rule-based system for generating a ladder logic control program from a high-level systems model"],"prefix":"10.1007","volume":"5","author":[{"given":"Mohsen A.","family":"Jafari","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas O.","family":"Boucher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","unstructured":"Albus, J., Barbera, A. and Nagel, R. (1981) Theory and practice of hierarchical control, inProceedings of 23rd IEEE Computer Society International Conference, pp. 18?39."},{"key":"CR2","unstructured":"Al-Jaar, R. Y. and Desrochers, A. A. (1990) Petri nets in automation and manufacturing, inAdvances in Automation and Robotics, Sardis, G. N. (ed.), Vol. 2, JAI Press, Inc."},{"key":"CR3","unstructured":"Atabakche, H., Simonetti Barbalho, D., Valette, R. and Courvoisier, M. (1986) From Petri net based PLCs to knowledge based control, inIECON 86, Milwaukee, WI, pp. 817?822."},{"key":"CR4","unstructured":"Beck, C. L. and Krogh, B. H. (1986) Models for simulation and discrete control of manufacturing systems, inProceedings of the IEEE International Conference on Robotics and Automation, pp. 305?310."},{"key":"CR5","unstructured":"Berthomieu, B. and Menasche, M. (1983) An enumerative approach for analyzing time Petri nets,Information Processing, 83, R.E.A. Mason (ed.)."},{"issue":"4","key":"CR6","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1109\/TIE.1987.351000","volume":"34","author":"J. Bigou","year":"1987","unstructured":"Bigou, J., Courvoisier, M., Demmov, H., Descalaux, C., Pascal, J. and Valette, R. (1987) A methodology of specification and implementation of distributed discrete control systems.IEEE Transactions on Industrial Electronics,34 (4), pp. 417?421.","journal-title":"IEEE Transactions on Industrial Electronics"},{"key":"CR7","unstructured":"Bollinger, J. G. and Duffie, N. A. (1988)Computer Control of Machines and Processes, Addison-Wesley."},{"issue":"4","key":"CR8","first-page":"151","volume":"2","author":"T. O. Boucher","year":"1990","unstructured":"Boucher, T. O., Jafari, M. A. and Meredith, G. A. (1990) Petri net control of an automated manufacturing cell.Advanced Manufacturing Engineering,2 (4), pp. 151?157.","journal-title":"Advanced Manufacturing Engineering"},{"key":"CR9","unstructured":"Bruno, G. and Morisio, M. (1987) Petri net based simulation of manufacturing cells, inProceedings of the IEEE International Conference on Robotics and Automation, pp. 1174?1179."},{"issue":"4","key":"CR10","first-page":"351","volume":"12","author":"W. J. Bullers","year":"1980","unstructured":"Bullers, W. J., Nof, S. Y. and Whinsten, A. B. (1980) AI in manufacturing planning and control.IIE Transactions,12 (4), pp. 351?362.","journal-title":"IIE Transactions"},{"key":"CR11","unstructured":"Chocron, D. and Cerny, E. (1980) A Petri net based industrial sequencer, inProceedings of IEEE International Conference & Exhibition on Industrial Control and Instrumentation, pp. 18?22."},{"issue":"3","key":"CR12","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1109\/TAC.1985.1103925","volume":"30","author":"G. Cohen","year":"1985","unstructured":"Cohen, G., Dubois, D., Quadrat, J. P. and Viot, M. (1985) A linear system-theoretic view of discrete-event processes and its use for performance evaluation in manufacturing.IEEE Transactions on Automatic Control,30 (3), 210?220.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"CR13","unstructured":"Corbeel, D., Gentina, J. and Vercauter (1985) Application of an extension of Petri nets to modelization of control of production processes, in6th European Workshop on Applications and Theory of Petri Nets, Finland, pp. 162?180."},{"key":"CR14","unstructured":"Courvoisier, M., Valette, R., Bigao, J. and Esteban, P. (1983) A programmable logic controller based on a high level specification tool, inInternational Conference on Industrial Electronics, Control, and Instrumentation (IECON), San Francisco, CA, pp. 174?179."},{"key":"CR15","unstructured":"Crockett, D., Desrochers, A., DiCesare, F. and Ward, T. (1987) Implementation of a Petri net controller for a machining workstation, inProceedings of the IEEE International Conference on Robotics and Automation, April, pp. 1861?1867."},{"key":"CR16","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1057\/jors.1962.10","volume":"13","author":"R. A. Cunningham-Green","year":"1962","unstructured":"Cunningham-Green, R. A. (1962) Describing industrial processes and approximating their steady state behavior.Operational Research Quarterly,13, 95?100.","journal-title":"Operational Research Quarterly"},{"key":"CR17","volume-title":"Tutorial: System and Software Requirements Engineering","author":"M. Dorfman","year":"1990","unstructured":"Dorfman, M. (1990) System and software requirements engineering, inTutorial: System and Software Requirements Engineering, Thayer, R. H. and Dorfman, M. (eds), IEEE Computer Society Press, Washington, DC."},{"key":"CR18","unstructured":"Dubois, D. and Stecke, K. E. (1983) Using Petri nets to represent production processes, inProceedings of the 22nd IEEE Conference on Decision and Control, pp. 1062?1067."},{"key":"CR19","doi-asserted-by":"crossref","unstructured":"Dubois, D. and Stecke, K. E. (1990) Dynamic analysis of repetitive decision-free discrete event processes: applications to production systems.Annals of Operations Research, volume on Automatic manufacturing systems, Mazzola, J. B. (ed.), pp. 151?193.","DOI":"10.1007\/BF03543074"},{"key":"CR20","unstructured":"Dugan, J. B.et al. (1985) The design of a unified package for the solution of stochastic Petri net models, inProceedings of the IEEE International Workshop on Timed Petri Nets, Torino, Italy, July."},{"issue":"1","key":"CR21","first-page":"59","volume":"100","author":"R. Eisenbrown","year":"1988","unstructured":"Eisenbrown, R. (1988) Programmable controllers move to systems solution.Manufacturing Engineering,100 (1), 59?61.","journal-title":"Manufacturing Engineering"},{"key":"CR22","volume-title":"Ph.D. Thesis","author":"M. S. Fox","year":"1983","unstructured":"Fox, M. S. (1983) Constraint directed approach: a case study to job shop scheduling, Ph.D. Thesis, Department of Computer Science, Carnegie-Mellon University, Pittsburgh, PA."},{"issue":"1","key":"CR23","first-page":"55","volume":"100","author":"D. Gyman","year":"1988","unstructured":"Gyman, D. (1988) An old favorite gets new standards.Manufacturing Engineering,100 (1), 55?58.","journal-title":"Manufacturing Engineering"},{"key":"CR24","unstructured":"Hesegawa, K. and Ohno, H. (1985) On programming of conventional programmable controllers by using mark flow graphs, inProceedings of ISCAS 85, pp. 933?936."},{"key":"CR25","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/BF01313698","volume":"4","author":"M. A. Jafari","year":"1992","unstructured":"Jafari, M. A. (1992) An architecture for shop-floor controller using colored Petri nets.International Journal of Flexible Manufacturing Systems,4, 159?181.","journal-title":"International Journal of Flexible Manufacturing Systems"},{"key":"CR26","unstructured":"Jafari, M. A. and Majmudar, K. (1992) Functional and performance analysis of time Petri nets, Working paper 92-110, Department of Industrial Engineering, Rutgers University."},{"key":"CR27","unstructured":"Jockovic, M. (1988) An application of Petri nets in the control system of FTC supercomputers: technology and applications, in14th EUROMICRO Symposium on Microprocessing and Microprogramming."},{"issue":"1","key":"CR28","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1016\/0278-6125(86)90064-6","volume":"5","author":"A. T. Jones","year":"1986","unstructured":"Jones, A. T. and McLean, C. R. (1986) A proposed hierarchical control model for automated manufacturing systems.Journal of Manufacturing Systems,5 (1), 15?25.","journal-title":"Journal of Manufacturing Systems"},{"key":"CR29","unstructured":"Kamath, M. and Viswanadham, N. (1986) Applications of Petri net based models in the modeling and analysis of FMS, inProceedings of the IEEE International Conference on Robotics and Automation, pp. 312?17."},{"issue":"4","key":"CR30","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1080\/05695558308974659","volume":"15","author":"J. Kimemia","year":"1983","unstructured":"Kimemia, J. and Gershwin, S. B. (1983) An algorithm for the computer control of production in a FMS.IIE Transactions,15 (4), 353?362.","journal-title":"IIE Transactions"},{"key":"CR31","volume-title":"Working Paper # 86-01","author":"A. S. Kiran","year":"1986","unstructured":"Kiran, A. S. and Tansel, B. C. (1986) Mathematical programming models for flexible manufacturing systems, Working Paper # 86-01, Department of ISE, USC, CA."},{"key":"CR32","unstructured":"Koh, I., DiCesare, F. and Rubenstein, A. (1991) Modeling and control information flow for a CIM system using colored Petri nets, inProceedings of the IEEE-SMC International Conference, Charlottesville, VI, Oct. 13?16."},{"key":"CR33","unstructured":"Komoda, N., Murata, T. and Matsumoto, K. (1985) Petri net based controller: SCR and its applications in factory automation, inProceedings of ISCAS."},{"key":"CR34","unstructured":"Kumagai, S. (1986) Modeling and analysis of distributed systems: a net theoretic approach, inProceedings of the IIASA Conference, Sopron, Hungary."},{"key":"CR35","volume-title":"Lecture Notes in Computer Science, Vol. 254","author":"K. Lautenbach","year":"1987","unstructured":"Lautenbach, K. (1987) Linear algebraic techniques for place\/transition nets, inLecture Notes in Computer Science, Vol. 254, Springer-Verlag, NY."},{"key":"CR36","unstructured":"Marca, D. A. and McGowan, C. L. (1988)SADT: Structured Analysis and Design Technique, McGraw Hill."},{"key":"CR37","unstructured":"Marsan, A. M., Balbo, G., Chiola, G. and Conte, G. (1987) Generalized stochastic Petri nets revisited: random switches and priorities, inProceedings of the International Workshop on Petri Nets & Performance Models, Madison, WI, Aug. pp. 44?53."},{"key":"CR38","volume-title":"Languages for Automation","author":"J. Martinez","year":"1986","unstructured":"Martinez, J. and Silva, M. (1986) A language for the description of concurrent systems modeled by colored Petri nets: application to the control of flexible manufacturing systems, inLanguages for Automation, Change, S. K. (ed.), Plenum, NY."},{"key":"CR39","unstructured":"Memmi, G. and Roucairol, G. (1979) Linear algebra in net theory,Lecture Notes in Computer Science, Vol. 84, Springer-Verlag, pp. 213?223."},{"issue":"3","key":"CR40","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/0278-6125(86)90043-9","volume":"5","author":"A. Merabet","year":"1986","unstructured":"Merabet, A. (1986) Synchronization of operations in a flexible manufacturing cell: the Petri net approach.Journal of Manufacturing Systems,5 (3), 161?169.","journal-title":"Journal of Manufacturing Systems"},{"issue":"9","key":"CR41","doi-asserted-by":"crossref","first-page":"1036","DOI":"10.1109\/TCOM.1976.1093424","volume":"24","author":"P. Merlin","year":"1976","unstructured":"Merlin, P. and Farber, D. J. (1976) Recoverability of communication protocols.IEEE Transactions on Communications,24 (9), 1036?1043.","journal-title":"IEEE Transactions on Communications"},{"issue":"9","key":"CR42","doi-asserted-by":"crossref","first-page":"913","DOI":"10.1109\/TC.1982.1676110","volume":"31","author":"M. K. Molly","year":"1982","unstructured":"Molly, M. K. (1982) Performance analysis in using stochastic Petri nets.IEEE Transactions on Computers,31 (9), 913?917.","journal-title":"IEEE Transactions on Computers"},{"key":"CR43","first-page":"151","volume-title":"FMS: Methods and Studies","author":"T. E. Morton","year":"1986","unstructured":"Morton, T. E. and Smunt, T. L. (1986) A planning and scheduling for flexible manufacturing, inFMS: Methods and Studies, Kusiak, A. (ed.), North Holland, Amsterdam, pp. 151?164."},{"issue":"1","key":"CR44","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/TIE.1986.351700","volume":"33","author":"T. Murata","year":"1986","unstructured":"Murata, T., Komuda, N., Matsumoto, K. and Haruna, K. (1986) A Petri net based controller for flexible and maintainable sequence control and its applications in factory automation.IEEE Transactions on Industrial Electronics,33 (1), 1?8.","journal-title":"IEEE Transactions on Industrial Electronics"},{"key":"CR45","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1007\/BF02023780","volume":"3","author":"Y. Narahari","year":"1985","unstructured":"Narahari, Y. and Viswanadham, N. (1985) A Petri net approach to the modeling and analysis of flexible manufacturing systems.Annals of Operations Research,3, 449?472.","journal-title":"Annals of Operations Research"},{"issue":"2","key":"CR46","first-page":"156","volume":"12","author":"S. Nof","year":"1980","unstructured":"Nof, S., Whinston, A. and Bullers, W. (1980) Control and decision support in automatic manufacturing systems.IIE Transactions,12 (2), 156?169.","journal-title":"IIE Transactions"},{"issue":"3","key":"CR47","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1145\/356698.356702","volume":"9","author":"J. L. Peterson","year":"1977","unstructured":"Peterson, J. L. (1977) Petri nets.Computing Surveys,9 (3), 223?252.","journal-title":"Computing Surveys"},{"key":"CR48","unstructured":"Peterson, J. L. (1981)Petri net theory and the modeling of systems, Prentice Hall."},{"key":"CR49","volume-title":"Ph.D. Dissertation","author":"C. A. Petri","year":"1962","unstructured":"Petri, C. A. (1962) Kommunikation with Automaten, Ph.D. Dissertation, University of Bonn, West Germany."},{"issue":"5","key":"CR50","doi-asserted-by":"crossref","first-page":"440","DOI":"10.1109\/TSE.1980.230492","volume":"6","author":"C. V. Ramamoorthy","year":"1980","unstructured":"Ramamoorthy, C. V. and Ho, G. S. (1980) Performance evaluation of asynchronous concurrent systems using Petri nets.IEEE Transactions on Software Engineering,6 (5), 440?449.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"CR51","volume-title":"Ph.D. Dissertation","author":"C. Ramchandani","year":"1974","unstructured":"Ramchandani, C. (1974) Analysis of asynchronous concurrent systems by timed Petri nets, Ph.D. Dissertation, Department of Electronic Engineering, MIT, Cambridge, MA."},{"issue":"1","key":"CR52","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1109\/TSE.1977.229900","volume":"3","author":"D. T. Ross","year":"1977","unstructured":"Ross, D. T. (1977) Structured analysis (SA): a language for communicating ideas.IEEE Transactions on Software Reliability,3 (1), 16?34.","journal-title":"IEEE Transactions on Software Reliability"},{"key":"CR53","unstructured":"Sahraoui, A., Atabakhche, H., Courvoisier, M. and Valette, R. (1987) Joining Petri nets and knowledge based systems for monitoring purposes, inProceedings of IEEE International Conference on Robotics and Automation, April, pp. 1160?1165."},{"key":"CR54","volume-title":"Modeling a NORAD command post using SADT and colored Petri nets","author":"R. M. Shapiro","year":"1990","unstructured":"Shapiro, R. M., Valrio, O. and Mameli, R. (1990)Modeling a NORAD command post using SADT and colored Petri nets, Meta Software Co., Cambridge, MA."},{"issue":"1","key":"CR55","first-page":"13","volume":"25","author":"M. Shaw","year":"1987","unstructured":"Shaw, M. (1987) Distributed planning in cellular flexible manufacturing systems.Infor,25 (1), pp. 13?25.","journal-title":"Infor"},{"key":"CR56","first-page":"75","volume-title":"Measuring, Modeling, and Evaluating Computer Systems","author":"J. Sifakis","year":"1977","unstructured":"Sifakis, J. (1977) Use of Petri nets for performance evaluation, inMeasuring, Modeling, and Evaluating Computer Systems, Beilner, H. and Gelenbe, E. (eds), North Holland, Amsterdam, pp. 75?93."},{"key":"CR57","first-page":"474","volume-title":"Mathematical Foundation of Computer Science","author":"J. Sifakis","year":"1978","unstructured":"Sifakis, J. (1978) Structural properties of Petri nets, inMathematical Foundation of Computer Science, Winkowski, J. (ed.), Springer-Verlag, NY, pp. 474?483."},{"key":"CR58","unstructured":"Silva, M. and Velilla, S. (1982) Programmable logic controllers and Petri nets: a comparative study, inProceedings of IFAC Conference on Software for Computer Control, Madrid, Spain, pp. 83?88."},{"issue":"1","key":"CR59","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/S0278-6125(82)80064-2","volume":"1","author":"J. A. Simpson","year":"1986","unstructured":"Simpson, J. A., Hocken, R. J. and Albus, J. S. (1986) The automated manufacturing research facility of the NBS.Journal of Manufacturing Systems,1 (1), 17?32.","journal-title":"Journal of Manufacturing Systems"},{"key":"CR60","unstructured":"SoftTech, Inc. (1981) Integrated computer aided manufacturing (ICAM) final report: IDEF0 functional modeling manual."},{"key":"CR61","unstructured":"Srinivasan, V. S. and Jafari, M. A. (1993) Monitoring and fault detection of shop floor control using time Petri nets, Working paper 92-104, Department of Industrial Engineering, Rutgers University."},{"key":"CR62","unstructured":"Stecke, K. E. (1984) Design, planning, scheduling and control problems of FMS, inProceedings of 1st ORSA\/TIMS Conference on FMS, Aug."},{"key":"CR63","unstructured":"Taconet, B. and Chollot, B. (1979) Programmation du Grafcet sur automate \u00e0 language logique, \u00e0 relais ou Boolean.Le Nouvel Automatisme,24 (1?2)."},{"key":"CR64","unstructured":"Togino, K., Furata, K. and Kobashi, K. (1980) A controller independent programming language for sequentially controlled machine, inProceedings of 4th International IFIP\/IFAC Conference on Progress Research and Operations Logistics in Advanced Manufacturing Technology, Ann Arbor, MI."},{"key":"CR65","unstructured":"Tsuji, K., Kumagai, S., Kodama, S. and Yamada, T. (1986) Modeling and verification of sequential control systems by Petri nets, inIEEE 1986 International Symposium on Circuits and Systems, Jan Jose, CA, pp. 988?995."},{"key":"CR66","unstructured":"Viswanadham, N. and Narahari, Y. (1987) Coloured Petri net models for automated manufacturing systems, inProceedings of IEEE International Conference on Robotics and Automation, pp. 1985?1990."},{"key":"CR67","unstructured":"Wu, S. Y. and Wysk, R. A. (1987) Multi-pass expert control system (MPECS) ? a control\/scheduling structure for FMC, Working Paper, Department of Industrial Engineering, Lehigh University."},{"key":"CR68","doi-asserted-by":"crossref","unstructured":"Young, R. E. and Rossi, M. A. (1988) Toward knowledge-based control of FMS.IIE Transactions,20 (1).","DOI":"10.1080\/07408178808966148"}],"container-title":["Journal of Intelligent Manufacturing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00572403.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00572403\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00572403","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,4]],"date-time":"2020-04-04T06:50:07Z","timestamp":1585983007000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00572403"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,4]]},"references-count":68,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1994,4]]}},"alternative-id":["BF00572403"],"URL":"https:\/\/doi.org\/10.1007\/bf00572403","relation":{},"ISSN":["0956-5515","1572-8145"],"issn-type":[{"value":"0956-5515","type":"print"},{"value":"1572-8145","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,4]]}}}