Title :
Systems monitoring using Petri nets
Author_Institution :
AT&T Bell Labs., Middletown, NJ, USA
Abstract :
We consider a problem of designing a monitoring system for given logical and performance requirements. We use an example of a simple client/server network, and show the development process of the actual system and its monitoring system
Keywords :
Petri nets; expert systems; formal specification; inference mechanisms; Petri nets; client/server network; development process; performance requirements; systems monitoring; Computer network management; Condition monitoring; Debugging; Delay; Diagnostic expert systems; Fault diagnosis; Humans; Petri nets; Robustness; Training data;
Conference_Titel :
Systems, Man, and Cybernetics, 1997. Computational Cybernetics and Simulation., 1997 IEEE International Conference on
Conference_Location :
Orlando, FL
Print_ISBN :
0-7803-4053-1
DOI :
10.1109/ICSMC.1997.633109
