Modeling and Simulation of an Energy Efficient Skid Conveyor using ZIZO

Oussama Khlifi, Christian Siegwart, Olfa Mosbahi, Mohamed Khalgui, Georg Frey

2016

Abstract

This paper introduces a method for modeling and simulation of a production system with different energy modes. We aim to save the energy in an assembly automobile production line platform using sensitive sensors. A new prototype model is proposed using an extension of Petri nets called GR-TNCES (generalized reconfigurable timed net condition event systems). We also present a simulation of this model with a proposed tool ZIZO to show the energy gain compared to standard production line model.

References

  1. Wang, Q., Wang, X., and Young, S., (2014). “Energy consumption modelling of the machining system based on Petri net,” Advances in Mechanical Engineering, Article ID 324819.
  2. BDEW, (2014). “Verteilung des Stromverbrauchs in Deutschland nach Verbrauchergruppen”, (Distribution of Energy Consumption among the Individual Consumer Groups in 2014).
  3. Bastide, R., Buchs, D., (1998). “Models, Formalisms and Methods for Object-Oriented Distributed Computing,” in Object-Oriented Technologys, Berlin Heidelberg: Springer, pp 221-255.
  4. BMBF, (2014). Bundesministerium für Bildung und Forschung, “Die neue Hightech-StrategieInnovationen für Deutschland”, (Federal Ministry of Education and Research, The new High-Tech Strategy - Innovations for Germany).
  5. Chen, Y. F., Li, Z. W., and Zhou, M. C., (2014). “Optimal supervisory control of flexible manufacturing systems by Petri nets: A set classification approach,” IEEE Trans. Autom. Sci. Eng., vol. 11, no. 2, pp. 549-563.
  6. Khlifi, O., Mosbahi, O., Khalgui, M., and Frey, G., (2015). “GR-TNCES: New extensions of R-TNCES for modeling and verification of flexible systems under energy and memory constraints,” in Proc. of Int. Conf. on Soft. Eng. and App, ICSOFT-EA, Colmar, France, pp. 373-380.
  7. Salem, M. O. B., Mosbahi, O., Khalgui, M., and Frey, G., (2015). “ZiZo: Modeling, simulation and verification of reconfigurable real-time control tasks sharing adaptive resources: Application to the medical project BROS,” in Proc. of the Int. Conf. on Health Informatics, Portugal, pp. 20-31.
  8. Andrade, E., Maciel, P., Callou, G., and Nogueira, B., (2009). “A methodology for mapping SysML activity diagram to time petri net for requirement validation of embedded real-time systems with energy constraints,” in Proc. of the 3rd Int. Conf. on Digital Society, Cancun, Mexico, pp. 266-271.
  9. Cai, K., Zhang, R., and Wonham, W.M., (2015). “Relative Observability of Discrete-Event Systems and its Supremal Sublanguages,” IEEE Trans. on Automatic Control, vol. 60, no.3, pp. 659-670.
  10. Li, Z. W., and Zhou, M. C., (2009). “Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach,” London, U.K.: Springer, pp. 20-28.
  11. Zhang, J., Khalgui, M., Li, Z.W., Mosbahi, O. and AlAhmari, A. M., (2013). “R-TNCES: A novel formalism for reconfigurable discrete event control systems,” IEEE Trans. Systems, Man, and Cybernetics: Systems, vol. 43, no. 4, pp. 757-772.
  12. Ratzer, A. V., Wells, L., Lassen, H. M., Laursen, M., Qvortrup, J. F., Stissing, M. S., Westergaard, M., Christensen, S., and Jensen, K. (2003). “Cpn tools for editing, simulating, and analysing coloured Petri nets,” in Applications and Theory of Petri Nets, Berlin Heidelberg: Springer, pp. 450-462.
  13. Genter, G., Bogdan, S., Kovacic, Z., and Grubisic, I., (2007). “Software tool for modeling, simulation and real-time implementation of Petri net-based supervisors,” in IEEE Int. Conf. on Control Applications, pp. 664-669.
  14. Dubinin, V., Hanisch, H., and Karras, S., (2006). “Building of reachability graph extractions using a graph rewriting system,” in Proc. of the 7th Int. Conf. of Science and Technology, NITis, pp. 160-171.
  15. PROFIBUS Nutzerorganisation e.V., (2010). “Pi White Paper: The PROFIenergy Profile,” Karlsruhe, Germany, pp. 10-11.
  16. PRISM 4.3 (July, 2015). PRISM Model checker, [Online]. Available: http://www.prismmodelchecker.org/.
  17. ZeMA, (2015). [Online]. Available: http://zema.de.
Download


Paper Citation


in Harvard Style

Khlifi O., Siegwart C., Mosbahi O., Khalgui M. and Frey G. (2016). Modeling and Simulation of an Energy Efficient Skid Conveyor using ZIZO . In Proceedings of the 13th International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO, ISBN 978-989-758-198-4, pages 551-558. DOI: 10.5220/0006002305510558


in Bibtex Style

@conference{icinco16,
author={Oussama Khlifi and Christian Siegwart and Olfa Mosbahi and Mohamed Khalgui and Georg Frey},
title={Modeling and Simulation of an Energy Efficient Skid Conveyor using ZIZO},
booktitle={Proceedings of the 13th International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO,},
year={2016},
pages={551-558},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006002305510558},
isbn={978-989-758-198-4},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 13th International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO,
TI - Modeling and Simulation of an Energy Efficient Skid Conveyor using ZIZO
SN - 978-989-758-198-4
AU - Khlifi O.
AU - Siegwart C.
AU - Mosbahi O.
AU - Khalgui M.
AU - Frey G.
PY - 2016
SP - 551
EP - 558
DO - 10.5220/0006002305510558