{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,29]],"date-time":"2025-03-29T16:16:55Z","timestamp":1743265015384},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1994,3,1]],"date-time":"1994-03-01T00:00:00Z","timestamp":762480000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Intell Robot Syst"],"published-print":{"date-parts":[[1994,3]]},"DOI":"10.1007\/bf01276499","type":"journal-article","created":{"date-parts":[[2005,3,24]],"date-time":"2005-03-24T07:42:01Z","timestamp":1111650121000},"page":"209-233","source":"Crossref","is-referenced-by-count":4,"title":["Coordination specification for CIRSSE robotic platform system using Petri net transducers"],"prefix":"10.1007","volume":"9","author":[{"given":"Fei-Yue","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Mittmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"George N.","family":"Saridis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","unstructured":"Azema, P.,et al. (1984), Specification and verification of distributed systems using prolog interpreted Petri nets,Proc. 7th Int. Conf. Software Eng., Orlando, U.S.A, pp. 510?518."},{"issue":"12","key":"CR2","doi-asserted-by":"crossref","first-page":"1226","DOI":"10.1109\/TC.1976.1674590","volume":"C-25","author":"B.W. Boehm","year":"1976","unstructured":"Boehm, B.W. (1976), Software engineering,IEEE Trans. Computers C-25(12), 1226?1241.","journal-title":"IEEE Trans. Computers"},{"issue":"2","key":"CR3","doi-asserted-by":"crossref","first-page":"346","DOI":"10.1109\/TSE.1986.6312948","volume":"SE-12","author":"G. Bruno","year":"1986","unstructured":"Bruno G. and Marchetto, G. (1986), Process-translatable Petri nets for the rapid prototyping of process control systems,IEEE Trans. Software Eng. SE-12(2), 346?357.","journal-title":"IEEE Trans. Software Eng."},{"key":"CR4","unstructured":"Courvoisier, M., Vallette, R., Bigou, J.M., and Esteban, P. (1983), A programmable logic controller based on a high level specification tool,Proc. 1983 Conf. Ind. Electron., pp. 174?179."},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"Krogh, B.H., Wilson, R., and Pathak, D. (1988), Automated generation and evaluation of control programs for discrete manufacturing processes,Proc. IEEE Int. CIM Conference, Troy, NY, U.S.A., pp. 92?99.","DOI":"10.1109\/CIM.1988.5396"},{"key":"CR6","volume-title":"Token Passer: A Petri net specification tool","author":"M. Mittmann","year":"1991","unstructured":"Mittmann, M. (1991), Token Passer: A Petri net specification tool, MS Thesis, ECSE Dept, RPI, Troy, NY."},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"Noreils, E.R. and Chatila R.G. (1989), A general structure for mobile robot action control,IEEE\/RSJ Int. Workshop on Intelligent Robots and Systems, Sept. 4?6, 1989, Tsukuba, Japan, pp. 550?556.","DOI":"10.1109\/IROS.1989.637957"},{"key":"CR8","volume-title":"Self-Organizing Stochastic Control Systems","author":"G.N. Saridis","year":"1977","unstructured":"Saridis, G.N. (1977),Self-Organizing Stochastic Control Systems, Marcel Dekker, New York."},{"issue":"6","key":"CR9","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1109\/TSMC.1977.4309737","volume":"SMC-7","author":"G.N. Saridis","year":"1977","unstructured":"Saridis, G.N. and Stephanou, H.E. (1977), A hierarchical approach to the control of a prosthetic arm,IEEE Trans. Systems Man Cybernet. SMC-7(6), 407?420.","journal-title":"IEEE Trans. Systems Man Cybernet."},{"key":"CR10","unstructured":"Saridis, G.N., Foundation of intelligent controls,Proc. IEEE Workshop on Intelligent Contr., RPI, Troy, NY, pp. 23?27."},{"key":"CR11","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/0005-1098(88)90022-2","volume":"24","author":"G.N. Saridis","year":"1988","unstructured":"Saridis, G.N. and Valavanis, K.P. (1988), Analytic design of intelligent machines,Automatica 24, 123?133.","journal-title":"Automatica"},{"key":"CR12","unstructured":"Topper, A., Caneshmend, L., and Hayward, V. (1988), A computing architecture for a multiple robot controller for space applications Kali Project.Fifth CASI Conference on Astronautics, Ottawa."},{"issue":"1","key":"CR13","doi-asserted-by":"crossref","first-page":"164","DOI":"10.1109\/70.68080","volume":"RA-7","author":"K.P. Valavanis","year":"1991","unstructured":"Valavanis, K.P. and Saridis, G.N. (1991), Probabilistic modeling of intelligent robotic systems,IEEE Trans. Robot. Automat. RA-7(1), 164?170.","journal-title":"IEEE Trans. Robot. Automat."},{"issue":"9","key":"CR14","doi-asserted-by":"crossref","first-page":"833","DOI":"10.1016\/0005-1098(90)90001-X","volume":"26","author":"Fei-Yue Wang","year":"1990","unstructured":"Wang, Fei-Yue and Saridis, G.N. (1990), A coordination theory for intelligent machines,IFAC J. Automat. 26(9), 833?844.","journal-title":"IFAC J. Automat."},{"key":"CR15","doi-asserted-by":"crossref","unstructured":"Wang, Fei-Yue and Saridis, G.N. (1991), Petri net transducers for task translation in intelligent machines,Proc. IFAC Int. Workshop on Discrete Event Systems Theory and Applications in Manufacturing and Social Phenomena (DES'91), June 1991, Shenyang, China.","DOI":"10.1016\/S1474-6670(17)69329-7"},{"key":"CR16","volume-title":"Coordination Theory for Intelligent Machines: Applications in Intelligent Robotic Systems and CIM Systems","author":"Fei-Yue Wang","year":"1992","unstructured":"Wang, Fei-Yue and Saridis, G.N. (1992),Coordination Theory for Intelligent Machines: Applications in Intelligent Robotic Systems and CIM Systems, to be published by Kluwer Academic Publishers, Boston, MA."},{"issue":"3","key":"CR17","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1109\/70.240195","volume":"9","author":"Fei-Yue Wang","year":"1993","unstructured":"Wang, Fei-Yue and Saridis, G.N. (1993), Task translation and integration specification in intelligent machines,IEEE Trans. Robot. Automat. 9(3), 257?271.","journal-title":"IEEE Trans. Robot. Automat."},{"key":"CR18","volume-title":"A coordination theory for intelligent machines","author":"Fei-Yue Wang","year":"1990","unstructured":"Wang, Fei-Yue (1990),A coordination theory for intelligent machines, PhD Thesis, ECSE Dept, RPI, Troy, NY."},{"issue":"4","key":"CR19","doi-asserted-by":"crossref","first-page":"777","DOI":"10.1109\/21.108296","volume":"SMC-21","author":"Fei-Yue Wang","year":"1991","unstructured":"Wang, Fei-Yue, Kyriakopoulos, K.J., Tsolkas, A., and Saridis, G.N. (1991), A Petri net coordination model for an intelligent mobile robot,IEEE Trans. Systems Man Cybernet. SMC-21(4), 777?789.","journal-title":"IEEE Trans. Systems Man Cybernet."}],"container-title":["Journal of Intelligent & Robotic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01276499.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01276499\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01276499","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T18:15:28Z","timestamp":1556648128000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01276499"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,3]]},"references-count":19,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1994,3]]}},"alternative-id":["BF01276499"],"URL":"https:\/\/doi.org\/10.1007\/bf01276499","relation":{},"ISSN":["0921-0296","1573-0409"],"issn-type":[{"value":"0921-0296","type":"print"},{"value":"1573-0409","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,3]]}}}