DESIGN APPROACH OF DISTRIBUTED SYSTEMS FOR THE CONTROL OF INDUSTRIAL PROCESS

D. Boudebous, J. Boukachour, S. Benmansour, N. Smata

Abstract

This article describes a methodological approach to the design of distributed systems for the control of industrial process. The designer tackles the problem by specifying the behaviour of the process rather than by specifying a solution. In this way he defines the “what to control”. This specification can then be converted not only into a Petri net to allow the checking of certain properties of the described behaviour, but also into a logical network of communicating modules which defines the logical structure of the process control system. In both cases, the rules of conversion are direct and simple.

References

  1. Baker, H., Hewitt, C., 1997. Laws for communicating parallel processes. Information processing. B.Gilchrist Editor IFIP.
  2. Brams, G. W., 1983. Réseaux de Petri : théorie et pratique. Édition Masson.
  3. Cao, J., Chan, A., Sun, Y., & Zhang, K., 2003. Dynamic configuration management in a graph-oriented Distributed Programming Environment. Science of computer programming, volume 48, issue 1, July 2003, pages 43-65.
  4. Chen, B. S., Yeh, R.T., 1983. Formal specification and verification of distributed systems. IEEE Trans. on soft. eng. Vol SE-9, n° 6, pp. 710-722.
  5. Dong, M., Chen, F., 2001. Process modeling and analysis of manufacturing supply chain networks using object oriented Petri nets. Robotic and Computer Integrated Manufacturing, 17, pages 121-129.
  6. Dotoli, M., Fanti, M.P., Giua, A., Seatzu, C., 2006. First order hybrid Petri nets. An application to distributed manufacturing systems. Nonlinear Analysis: Hybrid Systems, 20 May 2006 pages 408-430.
  7. Drzymalski, J., Odrey, N.G, 2008. Supervisory control of a multi-echelon supply chain: A modular Petri net approach for inter-organizational control. Robotics and Computer-Integrated Manufacturing, 24, 2008, pages 728-734.
  8. Ezzedine, H., Trabelsi, A., Kolski, C., 2006. Modelling of an interactive system with an agent-based architecture using Petri nets, application of the method of the supervision of a transport system. Mathematics and Computers in Simulation, 10 January 2006 pages 358- 376.
  9. Gabrielian, A., Franklin, M.K., 1990. Multi-level specification and verification of real time software. 12th inter. conf. on soft. eng. March 26-30, 1990.
  10. Kara, R., Ahmane, M., Loiseau, J. J, Djennonne, S., 2009. State space analysis of Petri nets with relation algebraic methods. Nonlinear analysis: hybrid systems, volume 3, issue 4, pages 738-748.
  11. Kramer, J., Magee, J., Sloman, M., 1989. Constructing distributed systems in CONIC. IEEE transactions on software engineering, volume 15, issue 6, June 1989, pages 663-675.
  12. Kramer, J., Magee, J., Sloman, M., Lister, A., 1983. CONIC: An integrated approach to distributed computer control system. IEEE Proc. Vol 130, 1,1983.
  13. Krause, C., Maraikar, Z., Lazovik, A., Arbab, F., 2009. Modeling dynamic reconfigurations in Reo using high-level replacement systems. Science of computer programming, 2009, pages 1-14.
  14. Lamport, L., 1983. Specifying concurrent program modules. ACM trans. on prog. lang. and syst. Vol 5, n° 2, 1983, pp. 190-222.
  15. Philippi, S., 2006. Automatic code generation from high level Petri-Nets for model driven systems engineering. Journal of systems and software 79, 2006, pages 1444-1455.
  16. Vasenin, V. A., Vodomerov, A.N., 2007. A formal model of a system for automated program parallelization. Source Programming and Computing Software, volume 33, Issue 4, pages 181-194.
  17. Yau, S. S., Caglayan, M. U., 1983. Distributed software system design representation using modified Petri nets. IEEE Trans. on soft. eng. Vol SE-9, n° 6.
  18. Yu, H., Reyes, A., Cang, S., Lloyd, S., 2003. Combined Petri nets modelling and AI based heuristic hybrid search for flexible manufacturing systems -part 1. Petri net modelling and heuristic search. Computer & Industrial Engineering 44, pages 527-543.
Download


Paper Citation


in Harvard Style

Boudebous D., Boukachour J., Benmansour S. and Smata N. (2011). DESIGN APPROACH OF DISTRIBUTED SYSTEMS FOR THE CONTROL OF INDUSTRIAL PROCESS . In Proceedings of the 13th International Conference on Enterprise Information Systems - Volume 3: ICEIS, ISBN 978-989-8425-55-3, pages 157-164. DOI: 10.5220/0003438801570164


in Bibtex Style

@conference{iceis11,
author={D. Boudebous and J. Boukachour and S. Benmansour and N. Smata},
title={DESIGN APPROACH OF DISTRIBUTED SYSTEMS FOR THE CONTROL OF INDUSTRIAL PROCESS},
booktitle={Proceedings of the 13th International Conference on Enterprise Information Systems - Volume 3: ICEIS,},
year={2011},
pages={157-164},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003438801570164},
isbn={978-989-8425-55-3},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 13th International Conference on Enterprise Information Systems - Volume 3: ICEIS,
TI - DESIGN APPROACH OF DISTRIBUTED SYSTEMS FOR THE CONTROL OF INDUSTRIAL PROCESS
SN - 978-989-8425-55-3
AU - Boudebous D.
AU - Boukachour J.
AU - Benmansour S.
AU - Smata N.
PY - 2011
SP - 157
EP - 164
DO - 10.5220/0003438801570164