In: O'Shea, T.; et al.: Artificial Intelligence III. Methodology, Systems, Applications. Proceedings of the Third International Conference (AIMSA), 1988, Varna, Bulgaria, pages 367-372. Amsterdam, Netherlands: North-Holland, 1988.
Abstract: The paper represents some aspects of the design and experiences of diagnostics as part of the system software of data communication networks. A three-level organized diagnostic system is based on an abstract information exchange network model in terms of Petri nets. This model is briefly described. The authors present an attempt to formalize the transition from conceptual to formal description, aiming at a double goal: to make a convenient procedure for computer-aided design of this kind of system, and to develop a `user-friendly' real-time diagnostic system.
Keywords: real-time diagnostics (in) distributed information system; data communication network; computer-aided design; fault-tolerant system; information exchange network; ISO, open systems interconnection.