{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:57:48Z","timestamp":1725487068985},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540335207"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/3-540-33521-8_45","type":"book-chapter","created":{"date-parts":[[2007,7,3]],"date-time":"2007-07-03T03:10:01Z","timestamp":1183432201000},"page":"413-420","source":"Crossref","is-referenced-by-count":0,"title":["Extending Decision Units Conception Using Petri Nets"],"prefix":"10.1007","author":[{"given":"Roman","family":"Siminski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"45_CR1","doi-asserted-by":"crossref","unstructured":"1. Agarwal R., Tanniru M.: 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":"45_CR2","doi-asserted-by":"crossref","unstructured":"2. Murata T.: Petri nets: Properties, Analysis and Applications. Proceedings of the IEEE, vol. 77, no.4, April 1989.","DOI":"10.1109\/5.24143"},{"key":"45_CR3","doi-asserted-by":"crossref","unstructured":"3. Nazareth D.L.: Investigating the applicability of petri nets for rule-based system veri.cation. IEEE Transactions on Knowledge and Data Engineering, 4 (3), 1992.","DOI":"10.1109\/69.224193"},{"key":"45_CR4","volume-title":"Current Trends in Concurency. Necture Notes in Computer Science, vol. 224","author":"G. Rozenberg","year":"1986","unstructured":"4. Rozenberg G., Thiagarajan P.S.: Petri nets: basic notations, structure, behavior. Current Trends in Concurency. Necture Notes in Computer Science, vol. 224, Springer-Verlag, Berlin, 1986."},{"key":"45_CR5","doi-asserted-by":"crossref","unstructured":"5. Simi\u0144ski R., Wakulicz-Deja A.: Veri.cation 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":"45_CR6","doi-asserted-by":"crossref","unstructured":"6. Simi\u0144ski R., Wakulicz-Deja A.: Decision units as a tool for rule base modeling and veri.cation. Advances in Soft Computing, Physica-Verlag, Springer Verlag Company, 2003.","DOI":"10.1007\/978-3-540-36562-4_60"},{"key":"45_CR7","doi-asserted-by":"crossref","unstructured":"7. Simi\u0144ski R., Wakulucz-Deja A.: Application of Decision Units in Knowledge Engineering. Lecture Notes in Arti.cial Intelligence, Springer-Verlag, 2004.","DOI":"10.1007\/978-3-540-25929-9_91"},{"key":"45_CR8","unstructured":"8. Simi\u0144ski R. Petri net and matrix representation of rule knowledge base for veri.cation task. Lecture Notes in Arti.cial Intelligence, Springer-Verlag, 2005."},{"key":"45_CR9","volume-title":"Rough Set Methods for the Synthesis and Analysis of Concurrent Processess","author":"Z. Suraj","year":"1999","unstructured":"9. Suraj Z.: Rough Set Methods for the Synthesis and Analysis of Concurrent Processess. ICS PAS Reports, 893, Warszawa, Cecember 1999."},{"key":"45_CR10","unstructured":"10. Szpyrka M, Ligeza A., Szmuc T.: Badanie (wery.kacja) 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-33521-8_45.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:56:10Z","timestamp":1605646570000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-33521-8_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540335207"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-33521-8_45","relation":{},"subject":[]}}