{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:08:05Z","timestamp":1725664085651},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540600299"},{"type":"electronic","value":"9783540494089"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60029-9_42","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:30:51Z","timestamp":1330277451000},"page":"218-237","source":"Crossref","is-referenced-by-count":12,"title":["Programmable controller design based on a synchronized colored Petri net model and integrating fuzzy reasoning"],"prefix":"10.1007","author":[{"given":"Lu\u00eds","family":"Gomes","sequence":"first","affiliation":[]},{"given":"A.","family":"Steiger-Gar\u00e7\u00e3o","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"14_CR1","unstructured":"P. Albertos; 1992; \u201cFuzzy controllers\u201d; in \u201cApplication of Artificial Intelligence in Process Control\u201d; L. Bougart, A. Krijgsman and R. A. Vingerhoeds (eds); Pergamon Press; ISBN 0 08 042017 6"},{"key":"14_CR2","unstructured":"H. Atabakhche, D. Simonetti Barbalho, R. Vallete, M. Courvoisier; 1986; \u201cFrom Petri net based PLCs to knowledge based control\u201d; Proceedings IECON'86; 1986 International Conference on Industrial Electronics, Control and Instrumentation; Milwaukee, WI, USA, September 29\u2013October 3, pp. 817\u2013822"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Tiehua Cao and Arthur C. Sanderson; 1993; \u201cVariable Reasoning and Analysis about Uncertainty with Fuzzy Petri Nets\u201d; 14th International Conference on Application and Theory of Petri Nets; Chicago; USA; in LNCS-691, Marco Ajmone Marsan (Ed.); Springer-Verlag; pp. 126\u2013145","DOI":"10.1007\/3-540-56863-8_44"},{"issue":"no.3","key":"14_CR4","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1109\/69.60794","volume":"2","author":"S. Chen","year":"1990","unstructured":"Shyi-Ming Chen, Jyh-Sheng Ke and Jin-Fu Chang; 1990; \u201cKnowledge Representation Using Fuzzy Petri Nets\u201d; IEEE Transactions on Knowledge and Data Engineering, vol. 2, no. 3, pp. 311\u2013319","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"14_CR5","unstructured":"Ren\u00e9 David; 1991; \u201cModeling of dynamic systems by Petri nets\u201d; European Control Conference, Grenoble, France, pp. 136\u2013147"},{"key":"14_CR6","unstructured":"Ren\u00e9 David, Hassane Alla; 1992; \u201cPetri Nets & Grafcet; Tools for modelling discrete event systems\u201d; Prentice Hall International (UK) Ltd; ISBN 0-13-327537-X."},{"key":"14_CR7","unstructured":"Lu\u00eds F.S. Gomes, A. Steiger Gar\u00e7\u00e3o; 1992; \u201cEspecifica\u00e7\u00e3o e realiza\u00e7\u00e3o de controladores utilizando redes de Petri coloridas e sincronizadas integrando l\u00f3gica imprecisa\u201d (in Portuguese); Workshop Ibero-americano de Sistemas Aut\u00f3nomos em Rob\u00f3tica e CIM; Lisbon; November, 2\u20134 1992; also published in \u201cRevista Rob\u00f3tica e Automatiza\u00e7\u00e3o\u201d, n. 10, Nov 1992."},{"key":"14_CR8","unstructured":"Lu\u00eds Gomes, A. Steiger-Gar\u00e7\u00e3o, Lu\u00eds Gama, Nuno Correia; 1993; \u201cPrograma\u00e7\u00e3o de controladores utilizando redes de Petri\u201d (in Portuguese); 4as Jornadas Nacionais de Projecto, Planeamento e Produ\u00e7\u00e3o Assistidos por Computador; Ordern dos Engenheiros; Lisbon; May, 17\u201319 1993; also selected for publishing in \u201cRevista Ingenium\u201d, ISSN 0870-5968, no. 72 July\/Agost 1993 pp. 43\u201352."},{"key":"14_CR9","unstructured":"Lu\u00eds Gomes, A. Steiger-Gar\u00e7\u00e3o, Jo\u00e3o P. Barros, P. Pr\u00f3spero Lu\u00eds; 1994; \u201cSimula\u00e7\u00e3o de controladores especificados atrav\u00e9s de redes de Petri\u201d (in Portuguese); CONTROLO'94, 1\u2218 Encontro Portugu\u00eas de Controlo Autom\u00e1tico; Lisbon; Portugal; September, 14\u201316, 1994"},{"key":"14_CR10","unstructured":"Lu\u00eds Gomes, A. Steiger-Gar\u00e7\u00e3o; 1995; \u201cPetri net based Programmable Fuzzy Controller targeted for distributed control environments\u201d; FUZZ-IEEE\/IFES'95, The International Joint Conference on Fuzzy Systems of the Fourth IEEE International Conference on Fuzzy Systems and the Second International Fuzzy Engineering Symposium; Yokohama, Japan; March 20\u201324, 1995"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"P. Huber, A. M. Jensen, L. O. Jepsen and K. Jensen; 1986; \u201cReachability Trees for Highlevel Petri Nets\u201d; Theoretical Computer Science 45; Elsevier Science Publishers B. V.; pp. 261\u2013292","DOI":"10.1016\/0304-3975(86)90046-0"},{"key":"14_CR12","unstructured":"Ren\u00e9 Jager; 1992; \u201cAdaptive Fuzzy Control\u201d; in \u201cApplication of Artificial Intelligence in Process Control\u201d; L. Bougart, A. Krijgsman and R. A. Vingerhoeds (eds); Pergamon Press; ISBN 0 08 042017 6"},{"key":"14_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"342","DOI":"10.1007\/978-1-4612-3456-2","volume-title":"Advances in Petri Nets, 1990","author":"K. Jensen","year":"1990","unstructured":"K. Jensen; 1990; \u201cColoured Petri Nets: A High Level Language for System Design and Analysis\u201d; in Advances in Petri Nets, 1990; Lecture Notes in Computer Science; vol. 483; G. Rozenberg (ed.); Springer, Berlin; pp 342\u2013416"},{"issue":"no.2","key":"14_CR14","doi-asserted-by":"crossref","first-page":"404","DOI":"10.1109\/21.52551","volume":"20","author":"C. C. Lee","year":"1990","unstructured":"Chuen Chien Lee; 1990; \u201cFuzzy Logic in Control Systems: Fuzzy Logic Controller\u201d; IEEE Transactions on Systems, Man and Cybernetics, vol. 20, no. 2, pp. 404\u2013435","journal-title":"IEEE Transactions on Systems, Man and Cybernetics"},{"issue":"no.1","key":"14_CR15","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1109\/21.87067","volume":"SMC-18","author":"C. G. Looney","year":"1988","unstructured":"Carl G. Looney; 1988; \u201cFuzzy Petri Nets for Rule-Based Decisionmaking\u201d; IEEE Transactions on Systems, Man and Cybernetics, vol. SMC-18, no. 1, pp. 178\u2013183","journal-title":"IEEE Transactions on Systems, Man and Cybernetics"},{"issue":"no.4","key":"14_CR16","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1109\/32.4671","volume":"14","author":"T. Murata","year":"1988","unstructured":"Tadao Murata and D. Zhang; 1988; \u201cA predicate\/transition net model for parallel interpretation of logic programs\u201d; IEEE Transactions Software Eng., vol. 14, no. 4, pp. 481\u2013497","journal-title":"IEEE Transactions Software Eng."},{"issue":"no.4","key":"14_CR17","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Tadao Murata; 1989; \u201cPetri Nets: Properties, Analysis and Applications\u201d; Proceedings of the IEEE, vol. 77, no. 4, pp. 541\u2013580","journal-title":"Proceedings of the IEEE"},{"key":"14_CR18","doi-asserted-by":"crossref","unstructured":"J-C. Pascal, R. Valette and D. Andreu; 1992; \u201cFuzzy sequential control based on Petri nets\u201d; ETFA'92 IEEE International Workshop on Emerging Technologies and Factory Automation; Melbourne, Australia, August 11\u201314","DOI":"10.1109\/ETFA.1992.683242"},{"key":"14_CR19","unstructured":"Witold Pedrycz; 1993; \u201cFuzzy control and fuzzy systems\u201d; Second, extended, edition; Research Studies Press Ltd.; ISBN 0 86380 131 5"},{"issue":"no.2","key":"14_CR20","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1109\/32.21746","volume":"15","author":"G. Peterka","year":"1989","unstructured":"G. Peterka and Tadao Murata; 1989; \u201cProof procedure and answer extraction in Petri net model of logic programs\u201d; IEEE Transactions Software Eng., vol. 15, no. 2, pp. 209\u2013217","journal-title":"IEEE Transactions Software Eng."},{"key":"14_CR21","unstructured":"James Peterson; 1981; \u201cPetri Nets Theory and the Modeling of Systems\u201d; Prentice Hall Inc."},{"key":"14_CR22","unstructured":"M. Silva; 1989; \u201cLogical controllers\u201d; IFAC Low Cost Automation, Techniques, Components & Instruments, Applications, Milan, Italy; pp. F-157, F-166"},{"key":"14_CR23","unstructured":"M. Silva; 1993; Invited talk at 14th International Conference on Application and Theory of Petri Nets; Chicago; USA; June 1993"},{"key":"14_CR24","first-page":"83","volume-title":"Programmable Logic Controllers and Petri Nets: a comparative study","author":"M. Silva","year":"1982","unstructured":"M. Silva and S. Velilla; 1982; \u201cProgrammable Logic Controllers and Petri Nets: a comparative study\u201d; IFAC Software for Computer Control, Madrid, Spain; pp. 83\u201388"},{"issue":"no.4","key":"14_CR25","doi-asserted-by":"crossref","first-page":"636","DOI":"10.1109\/TSMC.1984.6313337","volume":"SMC-14","author":"R. R. Yager","year":"1984","unstructured":"Ronald R. Yager; 1984; \u201cApproximate Reasoning as a Basis for Rule-Based Expert Systems\u201d; IEEE Transactions on Systems, Man and Cybernetics, vol. SMC-14, no. 4, pp. 636\u2013643","journal-title":"IEEE Transactions on Systems, Man and Cybernetics"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1995"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60029-9_42.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:28:11Z","timestamp":1605648491000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60029-9_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540600299","9783540494089"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-60029-9_42","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}