# MODELING AND ANALYSIS OF REDUNDANCY IN REMOTE MONITORING AND CONTROL SYSTEMS VIA PETRI NETS

### Cheng Guo, Zheng Qin

#### Abstract

This paper presents techniques that enable the modeling and analysis of redundancy in remote monitoring and control systems. Hardware redundancy and software redundancy are both implemented in the proposed system organically. To model and analyze the redundancy, a formalism to derive Petri net (PN) model from state transition diagram is constructed and the monitor compatible condition is considered. Software redundancy mechanism in manager side is also modeled based on PN. This approach makes redundancy modeling and analysis possible in terms of well-developed concepts and methods in PN theory. By the analysis of the PN model, designers can obtain reliable and effective measures that would compare different schema in the early phases of design, and select the best one. Our approach is illustrated and validated on STPNPlay by an example.

#### References

- M. Kunes and T. Sauter, “Fieldbus-Internet connectivity: The SNMP approach,” IEEE Trans. Ind. Electron., vol. 48, pp. 1248-1256, Oct. 2001.
- R. L. Kress,W. R. Hamel, P. Murray, and K. Bills, “Control strategies for teleoperated Internet assembly,” IEEE/ASME Trans. Mechatron., vol. 6, no. 4, pp. 410-416, 2001. Focused section on Internet-based manufacturing systems.
- C.A. Petri, “Fundamentals of a theory of asynchronous information flow”, In Proc. of the IFIP Congress 62, pp. 386-390, 1963.
- D. Harel, "Statecharts: A Visual Formalism for Complex Systems," Science of Computer Programming Vol. 8 (1987), pp. 231-274.
- W. M. Zuberek, “Timed Petri nets in modeling and analysis of cluster tools,” IEEE Trans. Robot. Automat., vol. 17, pp. 562-575, Oct. 2001.
- R. David and H. Alla, “Petri nets for modeling of dynamics systems-A survey,” Automatica, vol. 30, no. 2, pp. 175-202, 1994.
- M. K. Molley, “Performance analysis using stochastic Petri nets”, IEEE Trans. Comput., vol. C-31, pp. 417- 423, 1985.
- L. E. Holloway, B. H. Krogh, and A. Giua, “A survey of Petri net methods for controlled discrete event systems,” Discrete Event Dyna. Syst., vol. 7, no. 2, pp. 151-190, Apr. 1997.
- R. Zurawski and M. C. Zhou, “Petri nets and industrial applications: A tutorial,” IEEE Trans. Ind. Electron., vol. 41, no. 6, pp. 567-583, 1994. Special SectionPetri Nets Manufact..
- A. Weaver, J. Luo, and X. Zhang, “Monitoring and control using the Internet and Java,” in Proc. IEEE Int. Conf. Industrial Electronics, San Jose, CA, 1999, pp. 1152- 1158.
- S. Maffeis and D. C. Schmidt. Constructing reliable distributed communication systems with CORBA. IEEE Communications Magazine, 14(2), 1997.
- R. S. Srinivasan, “Modeling and performance analysis of cluster tools using Petri nets,” IEEE Trans. Semiconduct. Manuf., vol. 11, no. 3, pp. 394-403, 1998. Special Section-Petri Nets Semiconduct. Manufact..

#### Paper Citation

#### in Harvard Style

Guo C. and Qin Z. (2005). **MODELING AND ANALYSIS OF REDUNDANCY IN REMOTE MONITORING AND CONTROL SYSTEMS VIA PETRI NETS** . In *Proceedings of the Second International Conference on Informatics in Control, Automation and Robotics - Volume 3: ICINCO,* ISBN 972-8865-31-7, pages 37-44. DOI: 10.5220/0001175700370044

#### in Bibtex Style

@conference{icinco05,

author={Cheng Guo and Zheng Qin},

title={MODELING AND ANALYSIS OF REDUNDANCY IN REMOTE MONITORING AND CONTROL SYSTEMS VIA PETRI NETS},

booktitle={Proceedings of the Second International Conference on Informatics in Control, Automation and Robotics - Volume 3: ICINCO,},

year={2005},

pages={37-44},

publisher={SciTePress},

organization={INSTICC},

doi={10.5220/0001175700370044},

isbn={972-8865-31-7},

}

#### in EndNote Style

TY - CONF

JO - Proceedings of the Second International Conference on Informatics in Control, Automation and Robotics - Volume 3: ICINCO,

TI - MODELING AND ANALYSIS OF REDUNDANCY IN REMOTE MONITORING AND CONTROL SYSTEMS VIA PETRI NETS

SN - 972-8865-31-7

AU - Guo C.

AU - Qin Z.

PY - 2005

SP - 37

EP - 44

DO - 10.5220/0001175700370044