{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T16:48:33Z","timestamp":1725900513686},"publisher-location":"Berlin\/Heidelberg","reference-count":14,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540250565"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/3-540-32392-9_69","type":"book-chapter","created":{"date-parts":[[2006,5,27]],"date-time":"2006-05-27T07:09:20Z","timestamp":1148713760000},"page":"571-576","source":"Crossref","is-referenced-by-count":0,"title":["Petri Net and Matrix Representation of Rule Knowledge Base for Verification Task"],"prefix":"10.1007","author":[{"given":"Roman","family":"Siminski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"69_CR1","doi-asserted-by":"crossref","unstructured":"Agarwal R., Tanniru M., A Petri-net approach for verifying the integrity of production systems, International Journal of Man-Machine Studies, 36(3), 1992.","DOI":"10.1016\/0020-7373(92)90043-K"},{"key":"69_CR2","doi-asserted-by":"crossref","unstructured":"Coenen F., An Advanced Binary Encoded Matrix Representation For Rulebase Verification, Journal of Knowledge Based Systems, vol. 8, no 4, 1995.","DOI":"10.1016\/0950-7051(95)96217-F"},{"key":"69_CR3","doi-asserted-by":"crossref","unstructured":"Coenen F., Rulebase Checking Using a Spatial Representation, 1998, available at: frans@uk.ac.liverpool.compsci","DOI":"10.1007\/BFb0054478"},{"key":"69_CR4","volume-title":"Maintenance of Knowledge-Based Systems","author":"F. Coenen","year":"1993","unstructured":"Coenen F. Bench-Capon T., Maintenance of Knowledge-Based Systems, Academic Press Inc., San Diego, 1993."},{"key":"69_CR5","doi-asserted-by":"crossref","unstructured":"Nazareth D.L., Investigating the applicability of petri nets for rule-based system verification, IEEE Transactions on Knowledge and Data Engineering, 4(3), 1992.","DOI":"10.1109\/69.224193"},{"key":"69_CR6","doi-asserted-by":"crossref","unstructured":"Nazareth D.L., Kennedy M.H., Verification of Rule-Based Knowledge using Directed Graphs, Knowledge Acquisition, 3, 1991.","DOI":"10.1016\/S1042-8143(05)80024-X"},{"key":"69_CR7","doi-asserted-by":"crossref","unstructured":"Preece A.D., Foundation and Application of Knowledge Base Verification, International, Journal of Intelligent Systems, 9, 1994.","DOI":"10.1002\/int.4550090804"},{"key":"69_CR8","unstructured":"Preece A.D., Methods for Verifying Expert System Knowledge Base, 1991, apreece@csd.abdn.ac.uk."},{"key":"69_CR9","doi-asserted-by":"crossref","unstructured":"Siminski R., Wakulicz-Deja A., Verification of Rule Knowledge Bases Using Decision Units, Advances in Soft Computing, Intelligent Information Systems, Physica-Verlag, Springer Verlag Company, 2000.","DOI":"10.1007\/978-3-7908-1846-8_17"},{"key":"69_CR10","unstructured":"Siminski R., O formalnym uzasadnieniu pewnego intuicyjnego algorytmu, [in polish:] Materia\u0142y Konferencji Systemy Wspomagania Decyzji, Zakopane, 3 5.12.2002."},{"key":"69_CR11","unstructured":"Siminski R., Wakulicz-Deja A., kbBuilder \u2014 system wspomagania tworzenia i weryfikacji regulowych baz wiedzy, [in polish:] Materialy V-tej Konferencji Naukowej Inzynieria Wiedzy i Systemy Ekspertowe, Wroclaw, 13\u201315.06.2003."},{"key":"69_CR12","doi-asserted-by":"crossref","unstructured":"Siminski R., Wakulicz-Deja A., Application of Decision Units in Knowledge Engineering, Lecture Notes in Artificial Intelligence, Springer-Verlag, Springer Verlag Company, 2004.","DOI":"10.1007\/978-3-540-25929-9_91"},{"key":"69_CR13","volume-title":"Statystyka i Informatyka w nauce i zarzadzaniu","author":"R. Siminski","year":"2004","unstructured":"Siminski R., Wykrywanie anomalii w regulowych bazach wiedzy z wykorzystaniem macierzy incydencji, [in polish:] Statystyka i Informatyka w nauce i zarzadzaniu, Wydawnictwo WSZIM, Sosnowiec, 2004."},{"key":"69_CR14","unstructured":"Szpyrka M, Ligeza A., Szmuc T., Badanie (weryfikacja) wlasnosci baz wiedzy z wykorzystaniem kolorowanych sieci Petriego, [in polish] Materialy IV Konferencji Inzynieria Wiedzy i Systemy Ekspertowe, Wroclaw 2000."}],"container-title":["Advances in Soft Computing","Intelligent Information Processing and Web Mining"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-32392-9_69.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T00:54:07Z","timestamp":1619571247000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-32392-9_69"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540250565"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-32392-9_69","relation":{},"subject":[]}}