{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:08:38Z","timestamp":1725664118290},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540572343"},{"type":"electronic","value":"9783540479826"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57234-1_21","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:29:25Z","timestamp":1330259365000},"page":"233-240","source":"Crossref","is-referenced-by-count":5,"title":["REFLEX active database model: Application of petri-nets"],"prefix":"10.1007","author":[{"given":"Waseem","family":"Naqvi","sequence":"first","affiliation":[]},{"given":"Mohamed T.","family":"Ibrahim","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"issue":"No3","key":"21_CR1","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1016\/0020-7373(92)90043-K","volume":"36","author":"R. Agarwal","year":"1992","unstructured":"Agarwal R. and Tanniru M., \u201cA Petri-net based approach for verifying the integrity of production systems\u201d, International Journal of Man-Machine Studies, Vol. 36 No 3 pp 447\u2013468, March 1992","journal-title":"International Journal of Man-Machine Studies"},{"issue":"No.3","key":"21_CR2","doi-asserted-by":"publisher","first-page":"543","DOI":"10.1145\/321592.321605","volume":"17","author":"J. Baer","year":"1970","unstructured":"Baer J., Bovet D. and Estrin G., \u201cLegality and Other Properties of Graph Models of Computations\u201d, Journal of the ACM, Vol. 17, No. 3., July 1970, pp. 543\u2013554","journal-title":"Journal of the ACM"},{"issue":"No1\u20135","key":"21_CR3","doi-asserted-by":"crossref","first-page":"799","DOI":"10.1016\/0165-6074(91)90440-5","volume":"32","author":"E. Brenner","year":"1991","unstructured":"Brenner E., Grabner J., Moosburger M., Otschko G., Schl\u00f6gl K., Seifter P., Song J., Steger Ch. and Weiss R., \u201cDesign and Implementation of a Distributed Real-Time Expert-System for Fault Diagnosis in Modular Manufacturing Systems\u201d, Microprocessing & Microprogramming, Vol. 32 No 1\u20135 pp 799\u2013806, August 1991","journal-title":"Microprocessing & Microprogramming"},{"key":"21_CR4","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1016\/0950-7051(91)90003-K","volume":"4","author":"M. Benmaiza","year":"1991","unstructured":"Benmaiza, M. and Elkaraksy, M.R., \u201cKnowledge-based approach to Petri nets analysis\u201d, Knowledge-Based Systems Vol: 4 Iss: 3, pp. 144\u201356, Sept. 1991","journal-title":"Knowledge-Based Systems"},{"key":"21_CR5","unstructured":"Chakravarthy S., Blaustein B., et al, \u201cHiPAC: A Research Project in Active, Time-Constrained Database Management\u201d, Final Technical Report, Xerox Advanced Information Technology Division, July 1989"},{"key":"21_CR6","unstructured":"Cattell, R.G.G, \u201cObject Data Management: Object-Oriented and Extended Relational Database Systems\u201d, Addison-Wesley, 1991."},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"Jensen K., \u201cColoured Petri Nets: A High Level Language for System Design and Analysis\u201d, Advances in Petri Nets 1990, Springer-Verlag, Lecture Notes in Computer Science, 483","DOI":"10.1007\/978-3-642-84524-6_2"},{"key":"21_CR8","doi-asserted-by":"crossref","first-page":"745","DOI":"10.1016\/B978-0-444-89465-6.50068-5","volume":"B-3","author":"Y. Jianjun","year":"1992","unstructured":"Jianjun Y., Feng Z., Jiati D. and Chuaijun C., \u201cIntelligent Manufacturing cell controller IMCC-E\u201d, Human Aspects in Computer Integrated Manufacturing Conf., Tokyo, Japan, IFIP Transaction B, Vol. B-3 pp. 745\u2013755, 1992","journal-title":"Human Aspects in Computer Integrated Manufacturing Conf., Tokyo, Japan, IFIP Transaction B"},{"volume-title":"Application and Theory of Petri Nets 1992","year":"1992","key":"21_CR9","unstructured":"Jensen, K. (Ed.), Application and Theory of Petri Nets 1992, Proceedings of the 13th international Conference, Sheffield, UK, June 1992, Springer-Verlag, Berlin 1992."},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"Jafar, M., Bahill, T.A, \u201cInteractive Verification of Knowledge-Based Systems\u201d, IEEE Expert, Vol.8 No.1, Feb. 1993.","DOI":"10.1109\/64.193052"},{"key":"21_CR11","unstructured":"Lipp H.P., \u201cApplication of timed fuzzy Petri nets in expert systems for operative management of complerx prodyction systems\u201d, Prozessrecgensystemme '91 Conf. (Process Computer Systems '91), 1991, pp. 103\u201312 (in German)"},{"key":"21_CR12","unstructured":"Naqvi W. and Ibrahim M.T., \u201cThe REFLEX Active Database System\u201d, Database Systems Research Laboratory, University of Greenwich, Internal Report, 1992"},{"key":"21_CR13","unstructured":"Naqvi W. and Ibrahim M.T., \u201cREFLEX: An Active Database Extension\u201d, BNCOD11, July, 1993"},{"key":"21_CR14","doi-asserted-by":"crossref","unstructured":"O'leary, T.J., Goul, M., Moffit, K.E., Essam Radwan, A., \u201cValidating Expert Systems\u201d, IEEE Expert, Vol. 5 No3, June 1990.","DOI":"10.1109\/64.54673"},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"Paterson J.L., \u201cPetri Nets\u201d, ACM Computing Surveys, Vol. 9, No. 3, September 1977","DOI":"10.1145\/356698.356702"},{"key":"21_CR16","unstructured":"Paterson J.L., \u201cPetri Net Theory and the modeling of Systems\u201d, Prentice-Hall, 1981"},{"key":"21_CR17","unstructured":"Ringland G., \u201cStructured Object Representation \u2014 Schemata and Frames\u201d, Approaches to Knowledge Representation, Ed. Ringland and Duce, 1987, pp 81\u201399"},{"key":"21_CR18","doi-asserted-by":"crossref","unstructured":"Stonebraker M. and Kemnitz G., \u201cThe POSTGRES Next-Generation Database Management System\u201d, CACM October 1991, Vol 34, No 10","DOI":"10.1145\/125223.125262"}],"container-title":["Lecture Notes in Computer Science","Database and Expert Systems Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57234-1_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:10:00Z","timestamp":1605647400000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57234-1_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540572343","9783540479826"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-57234-1_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}