{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T21:00:01Z","timestamp":1648846801906},"reference-count":6,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1996,3,1]],"date-time":"1996-03-01T00:00:00Z","timestamp":825638400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. of Comput. Sci. & Technol."],"published-print":{"date-parts":[[1996,3]]},"DOI":"10.1007\/bf02943529","type":"journal-article","created":{"date-parts":[[2008,9,4]],"date-time":"2008-09-04T16:05:28Z","timestamp":1220544328000},"page":"133-149","source":"Crossref","is-referenced-by-count":2,"title":["NNF and NNPrF \u2014 Fuzzy Petri Nets based on neural network for knowledge representation, reasoning and learning"],"prefix":"10.1007","volume":"11","author":[{"given":"Yi","family":"Zhou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shilin","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02943529_CR1","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1109\/21.87067","volume":"(Jan.)","author":"C Looney","year":"1988","unstructured":"Looney C. Fuzzy Petri nets for rule-based decision making.IEEE Trans. on Syst., Man., 1988, (Jan.): 178\u2013183.","journal-title":"IEEE Trans. on Syst., Man."},{"issue":"2","key":"BF02943529_CR2","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1109\/32.21746","volume":"15","author":"G Peterka","year":"1989","unstructured":"Peterka G, Murata T. Proof procedure and answer extraction in Petri net model of logic programs.IEEE Trans. on Software Engineering, 1989, 15(2): 209\u2013217.","journal-title":"IEEE Trans. on Software Engineering"},{"issue":"4","key":"BF02943529_CR3","first-page":"33","volume":"4","author":"Lin Chuang","year":"1993","unstructured":"Lin Chuang. Application of Petri nets to logical inference of HORN clauses.Journal of Software, 1993, 4(4): 33\u201337.","journal-title":"Journal of Software"},{"key":"BF02943529_CR4","unstructured":"Zhou Yi, Wu Shilin. The new ways of logic inference of Petri net based on resolution refutation. (accepted byChinese Journal of Computers)"},{"key":"BF02943529_CR5","unstructured":"Shen Qing, Tang Lin. The Introduction of Pattern Recognition. Press of the University of National Defense Science and Technology, May 1995."},{"key":"BF02943529_CR6","unstructured":"He Xingui. Knowledge Processing and Expert System. Press of National Defense Industry, Sep. 1990."}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02943529.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02943529\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02943529","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T20:16:21Z","timestamp":1558469781000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02943529"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,3]]},"references-count":6,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1996,3]]}},"alternative-id":["BF02943529"],"URL":"https:\/\/doi.org\/10.1007\/bf02943529","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"value":"1000-9000","type":"print"},{"value":"1860-4749","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,3]]}}}