{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:07:07Z","timestamp":1725664027689},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540568636"},{"type":"electronic","value":"9783540477594"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56863-8_44","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:43:45Z","timestamp":1330256625000},"page":"126-145","source":"Crossref","is-referenced-by-count":20,"title":["Variable reasoning and analysis about uncertainty with fuzzy Petri nets"],"prefix":"10.1007","author":[{"given":"Tiehua","family":"Cao","sequence":"first","affiliation":[]},{"given":"Arthur C.","family":"Sanderson","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"9_CR1","unstructured":"R. Y. Al-Jaar and A. Desrochers, \u201cPetri Nets in Automation and Manufacturing,\u201d in Advances in Automation and Robotics, G. N. Saridis ed., vol. 2, JAI Press, pp. 153\u2013218, 1991"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"A. Camurri and P. Franchi, \u201cAn Approach to the Design and Implementation of the Hierarchical Control System of FMS, Combining Structured Knowledge Representation Formalisms and High-level Petri Nets,\u201d in Proc. of IEEE Int. Conf. on Robotics and Automation, pp. 520\u2013525, Cincinnati, OH, 1990","DOI":"10.1109\/ROBOT.1990.126032"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"T. Cao and A. C. Sanderson, \u201cTask Sequence Planning in a Robot Workcell Using AND\/OR Nets,\u201d in Proc. of IEEE Int. Symposium on Intelligent Control, pp. 239\u2013244, Arlington, VA, Aug. 1991","DOI":"10.1109\/ISIC.1991.187364"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"T. Cao and A. C. Sanderson, \u201cTask Sequence Planning Using Fuzzy Petri Nets,\u201d in Proc. of IEEE Int. Conf. on Systems, Man, and Cybernetics, pp. 349\u2013354, Charlottesville, VA, Oct. 1991","DOI":"10.1109\/ICSMC.1991.169709"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"T. Cao and A. C. Sanderson, \u201cSensor-based Error Recovery for Robotic Task Sequences Using Fuzzy Petri Nets,\u201d in Proc. of IEEE Int. Conf. on Robotics and Automation, pp. 1063\u20131069, Nice, France, May 1992","DOI":"10.1109\/ROBOT.1992.220207"},{"key":"9_CR6","unstructured":"T. Cao and A. C. Sanderson, \u201cTask Decomposition and Analysis of Assembly Sequence Plans Using Petri Nets,\u201d in Proc. of Third Int. Conf. on Computer Integrated Manufacturing, pp. 138\u2013147, Troy, NY, May 1992"},{"key":"9_CR7","unstructured":"T. Cao and A. C. Sanderson, \u201cAND\/OR Representation for Robotic Task Sequence Planning,\u201d IEEE Trans. on Robotics and Automation, in review"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"T. Cao and A. C. Sanderson, \u201cA Fuzzy Petri Net Approach to Reasoning about Uncertainty in Robotic Systems,\u201d in Proc. of IEEE Int. Conf. on Robotics and Automation, Atlanta, Georgia, May 1993, in press","DOI":"10.1109\/ROBOT.1993.292001"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"J. Cardoso, R. Valette, and D. Dubois, \u201cPetri Nets with Uncertainty Markings,\u201d in Advances in Petri Nets 1990, G. Rozenberg ed. (Lecture Notes in Computer Science), Springer-Verlag, pp. 64\u201378","DOI":"10.1007\/3-540-53863-1_21"},{"issue":"No.3","key":"9_CR10","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1109\/69.60794","volume":"2","author":"S. Chen","year":"1990","unstructured":"S. Chen, J. Ke and J. Chang, \u201cKnowledge Representation Using Fuzzy Petri Nets,\u201d IEEE Trans. on Knowledge and Data Engineering, Vol. 2, No. 3, pp. 311\u2013319, Sep. 1990","journal-title":"IEEE Trans. on Knowledge and Data Engineering"},{"key":"9_CR11","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/0020-0190(91)90114-W","volume":"39","author":"M. L. Garg","year":"1991","unstructured":"M. L. Garg, S. I. Ahson, and P. V. Gupta, \u201cA Fuzzy Petri Net for Knowledge Representation and Reasoning,\u201d Information Processing Letters, Vol. 39, pp. 165\u2013171, 1991","journal-title":"Information Processing Letters"},{"key":"9_CR12","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/0304-3975(81)90113-4","volume":"13","author":"H. J. Genrich","year":"1981","unstructured":"H. J. Genrich and K. Lautenbach, \u201cSystems Modeling with High-Level Petri Nets,\u201d Theoretical Computer Sciences, 13, pp. 109\u2013136, 1981","journal-title":"Theoretical Computer Sciences"},{"key":"9_CR13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0020-0255(85)90039-8","volume":"35","author":"A. Giordana","year":"1985","unstructured":"A. Giordana and L. Saitta, \u201cModeling Production Rules by Means of Predicate Transition Networks,\u201d Information Sciences, 35, pp. 1\u201341, 1985","journal-title":"Information Sciences"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"M. Jantzen, \u201cStructured Representation of Knowledge by Petri Nets as an aid for Teaching and Research,\u201d in Net Theory and Applications (Lecture Notes in Computer Science 84), Springer-Verlag, pp. 507\u2013516, 1980","DOI":"10.1007\/3-540-10001-6_38"},{"key":"9_CR15","unstructured":"M. D. Jeng, Theory and Applications of Resource Control Petri Nets for Automated Manufacturing Systems, Ph.D. Thesis, Rensselaer Polytechnic Institute, Aug. 1992"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"K. Jensen, \u201cColoured Petri Nets,\u201d in Advances in Petri Nets 1986, Vol. 254, Springer-Verlag, pp. 288\u2013299, 1988","DOI":"10.1007\/978-3-540-47919-2_10"},{"issue":"No.1","key":"9_CR17","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1109\/21.87067","volume":"18","author":"C. G. Looney","year":"1988","unstructured":"C. G. Looney, \u201cFuzzy Petri Nets for Rule-Based Decisionmaking,\u201d IEEE Trans. on Systems, Man, and Cybernetics, Vol. 18, No. 1, pp. 178\u2013183, Jan.\/Feb. 1988","journal-title":"IEEE Trans. on Systems, Man, and Cybernetics"},{"issue":"No.8","key":"9_CR18","doi-asserted-by":"crossref","first-page":"710","DOI":"10.1109\/TC.1973.5009149","volume":"C-22","author":"R. E. Miller","year":"1973","unstructured":"R. E. Miller, \u201cA Comparison of Some Theoretical Models of Parallel Computations,\u201d IEEE Trans. on Computers, Vol. C-22, No. 8, pp. 710\u2013717, Aug. 1973","journal-title":"IEEE Trans. on Computers"},{"key":"9_CR19","first-page":"1369","volume":"E75A","author":"S. Moriguchi","year":"1992","unstructured":"S. Moriguchi and G. S. Shedler, \u201cDiagnosis of Computer Systems By Stochastic Petri Nets,\u201d Ieice Trans. on Fundamentals of Electronics Communications and Computer Sciences, Vol. E75A, pp. 1369\u20131377, Oct. 1992","journal-title":"Ieice Trans. on Fundamentals of Electronics Communications and Computer Sciences"},{"issue":"No.4","key":"9_CR20","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"T. Murata, \u201cPetri Nets: Properties, Analysis and Applications,\u201d Proc. of the IEEE, Vol. 77, No. 4, pp. 541\u2013580, Apr. 1989","journal-title":"Proc. of the IEEE"},{"key":"9_CR21","unstructured":"J. L. Peterson, Petri Net Theory and the Modeling of Systems, Prentice Hall, 1981"},{"issue":"No.5","key":"9_CR22","doi-asserted-by":"crossref","first-page":"440","DOI":"10.1109\/TSE.1980.230492","volume":"SE-6","author":"C. V. Ramamoorthy","year":"1980","unstructured":"C. V. Ramamoorthy and G. S. Ho, \u201cPerformance Evaluation of Asynchronous Concurrent Systems Using Petri Nets,\u201d IEEE Trans. on Software Engineering, Vol. SE-6, No. 5, pp. 440\u2013449, 1980","journal-title":"IEEE Trans. on Software Engineering"},{"key":"9_CR23","unstructured":"C. Sibertin-Blanc, \u201cHigh-level Petri Nets with Data Structures,\u201d in 6th European Workshop on Applications and Theory of Petri Nets, Helsinki, Finland, June 1985."},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"R. Valette, J. Cardoso and D. Dubois, \u201cMonitoring Manufacturing Systems by Means of Petri Nets with Imprecise Markings,\u201d in Proc. of IEEE Int. Symposium on Intelligent Control, pp. 233\u2013237, 1989","DOI":"10.1109\/ISIC.1989.238688"},{"key":"9_CR25","unstructured":"R. Valette and M. Courvoisier, \u201cPetri Nets and Artificial Intelligence,\u201d International Workshop on Emerging Technologies for Factory Automation, North Queensland, Australia, Aug. 17\u201319, 1992"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1993"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56863-8_44.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:06:16Z","timestamp":1605647176000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56863-8_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540568636","9783540477594"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-56863-8_44","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}