REFLEX active database model: Application of petri-nets

1. Agarwal R. and Tanniru M., “A Petri-net based approach for verifying the integrity of production systems”, International Journal of Man-Machine Studies, Vol. 36 No 3 pp 447–468, March 1992

   Article  Google Scholar 

2. Baer J., Bovet D. and Estrin G., “Legality and Other Properties of Graph Models of Computations”, Journal of the ACM, Vol. 17, No. 3., July 1970, pp. 543–554

   Article  Google Scholar 

3. Brenner E., Grabner J., Moosburger M., Otschko G., Schlögl K., Seifter P., Song J., Steger Ch. and Weiss R., “Design and Implementation of a Distributed Real-Time Expert-System for Fault Diagnosis in Modular Manufacturing Systems”, Microprocessing & Microprogramming, Vol. 32 No 1–5 pp 799–806, August 1991

   Google Scholar 

4. Benmaiza, M. and Elkaraksy, M.R., “Knowledge-based approach to Petri nets analysis”, Knowledge-Based Systems Vol: 4 Iss: 3, pp. 144–56, Sept. 1991

   Article  Google Scholar 

5. Chakravarthy S., Blaustein B., et al, “HiPAC: A Research Project in Active, Time-Constrained Database Management”, Final Technical Report, Xerox Advanced Information Technology Division, July 1989

   Google Scholar 

6. Cattell, R.G.G, “Object Data Management: Object-Oriented and Extended Relational Database Systems”, Addison-Wesley, 1991.

   Google Scholar 

7. Jensen K., “Coloured Petri Nets: A High Level Language for System Design and Analysis”, Advances in Petri Nets 1990, Springer-Verlag, Lecture Notes in Computer Science, 483

   Google Scholar 

8. Jianjun Y., Feng Z., Jiati D. and Chuaijun C., “Intelligent Manufacturing cell controller IMCC-E”, Human Aspects in Computer Integrated Manufacturing Conf., Tokyo, Japan, IFIP Transaction B, Vol. B-3 pp. 745–755, 1992

   Google Scholar 

9. Jensen, K. (Ed.), Application and Theory of Petri Nets 1992, Proceedings of the 13th international Conference, Sheffield, UK, June 1992, Springer-Verlag, Berlin 1992.

   Google Scholar 

10. Jafar, M., Bahill, T.A, “Interactive Verification of Knowledge-Based Systems”, IEEE Expert, Vol.8 No.1, Feb. 1993.

    Google Scholar 

11. Lipp H.P., “Application of timed fuzzy Petri nets in expert systems for operative management of complerx prodyction systems”, Prozessrecgensystemme '91 Conf. (Process Computer Systems '91), 1991, pp. 103–12 (in German)

    Google Scholar 

12. Naqvi W. and Ibrahim M.T., “The REFLEX Active Database System”, Database Systems Research Laboratory, University of Greenwich, Internal Report, 1992

    Google Scholar 

13. Naqvi W. and Ibrahim M.T., “REFLEX: An Active Database Extension”, BNCOD11, July, 1993

    Google Scholar 

14. O'leary, T.J., Goul, M., Moffit, K.E., Essam Radwan, A., “Validating Expert Systems”, IEEE Expert, Vol. 5 No3, June 1990.

    Google Scholar 

15. Paterson J.L., “Petri Nets”, ACM Computing Surveys, Vol. 9, No. 3, September 1977

    Google Scholar 

16. Paterson J.L., “Petri Net Theory and the modeling of Systems”, Prentice-Hall, 1981

    Google Scholar 

17. Ringland G., “Structured Object Representation — Schemata and Frames”, Approaches to Knowledge Representation, Ed. Ringland and Duce, 1987, pp 81–99

    Google Scholar 

18. Stonebraker M. and Kemnitz G., “The POSTGRES Next-Generation Database Management System”, CACM October 1991, Vol 34, No 10

    Google Scholar 

Download references