Author:
Naqvi Waseem,Ibrahim Mohamed T.
Publisher
Springer Berlin Heidelberg
Reference18 articles.
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
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
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
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
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
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献