FEASIBLE DYNAMIC RECONFIGURATIONS OF PETRI NETS - Application to a Production System

Mohamed Khalgui, Olfa Mosbahi, Jiafeng Zhang, Zhiwu Li, Atef Gharbi

2011

Abstract

.

References

  1. Al-Safi, Y. and Vyatkin, V. (2007). An ontology-based reconfiguration agent for intelligent mechatronic systems. In Third International Conference on Industrial Applications of Holonic and Multi-Agent Systems. Springer-Verlag.
  2. Alur, R. and Yannakakis, M. (1998). Model checking of hierarchical state machines. In Sixth ACM Symposium on the Foundations of Software Engineering, pp. 175- 188.
  3. Amnell, T., Behrmann, G., Bengtsson, J., D'Argenio, P. R., David, A., Fehnker, A., Hune, T., Jeannet, B., Larsen, K. G., Mller, M. O., Pettersson, P., Weise, C., and Yi, W. (2001). Uppaal - Now, Next, and Future. In Proceedings of Modelling and Verification of Parallel Processes (MOVEP'2k), France. LNCS Tutorial 2067, pages 100-125, F. Cassez, C. Jard, B. Rozoy, and M. Ryan (Eds.).
  4. Angelov, C., Sierszecki, K., and Marian, N. (2005). Design models for reusable and reconfigurable state machines. In L.T. Yang and All (Eds): EUC 2005, LNCS 3824, pp:152-163. International Federation for Information Processing.
  5. Asarin, E., Bournez, O., Dang, T., and Maler, O. (2000). Approximate reachability analysis of piecewise-linear dynamical systems. In Hybrid Systems: Computation and Control, Third International Workshop, LNCS.
  6. Chutinan, A. and Krogh, B. K. (1999). Verification of polyhedral-invariant hybrid automata using polygonal flow pipe approximations. In Hybrid Systems: Computation and Control, Second International Workshop, LNCS.
  7. Clarke, E., Grumberg, O., and Peled, D. (2000). Model checking. In MIT Press.
  8. Clarke, E. and Kurshan, R. (1996). Computer-aided verification. In IEEE Spectrum, 33(6).
  9. Daws, C., Olivero, A., Tripakis, S., and Yovine, S. (1996). The tool kronos. In Hybrid Systems III, Verification and Control, LNCS 1066, Springer-Verlag.
  10. Gehin, A.-L. and Staroswiecki, M. (2008). Reconfiguration analysis using generic component models. In IEEE Transactions on Systems, Machine and Cybernetics, Vol.38, N.3.
  11. Henzinger, T. A., Ho, P., and Womg-Toi, H. (1997). Hytech: the next generation. In TACAS95: Tools and Algorithms for the Construction and Analysis of Systems, LNCS.
  12. Holzmann, G. (1997). The model checker spin. In IEEE Transactions on Software Engineering, 23(5).
  13. Ma, L. and Tsai, J. (2008). Formal modeling and analysis of a secure mobile-agent system. In IEEE Transactions on Systems, Machine and Cybernetics, Vol.38, N.1.
  14. Mitchell, I. and Tomlin, C. (2000). Level set methods for computation in hybrid systems. In Hybrid Systems: Computation and Control, Third International Workshop, LNCS.
  15. Mohamed Khalgui, Martin Hirsch, D. M. H.-M. H. (2008). Reconfiguration of embedded systems. In International Conference on Informatics in Control, Automation and Robotics ICINCO-ICSO, pages: 157-162.
  16. Rausch, M. and Hanisch, H.-M. (1995). Net condition/event systems with multiple condition outputs. In Symposium on Emerging Technologies and Factory Automation. Vol.1, pp.592-600.
  17. Roch, S. (2000a). Extended computation tree logic. In Proceedings of the CESP2000 Workshop, number 140in Informatik Berichte, pages225-234, Germany.
  18. Roch, S. (2000b). Extended computation tree logic: Implementation and application. In Proceedings of the AWPN2000 Workshop, Germany.
  19. Rooker, M. N., Sunder, C., Strasser, T., Zoitl, A., Hummer, O., and Ebenhofer, G. (2007). Zero downtime reconfiguration of distributed automation systems : The ecedac approach. In Third International Conference on Industrial Applications of Holonic and Multi-Agent Systems. Springer-Verlag.
  20. (2008). Signal/net system In http://www.ece.auckland.ac.nz/ atkin/tools/modelchekers.html.
  21. Vardi, M. and Wolper, P. (1994). Reasoning about infinite computations. In Information and Computation, 115(1).
Download


Paper Citation


in Harvard Style

Khalgui M., Mosbahi O., Zhang J., Li Z. and Gharbi A. (2011). FEASIBLE DYNAMIC RECONFIGURATIONS OF PETRI NETS - Application to a Production System . In Proceedings of the 6th International Conference on Software and Database Technologies - Volume 2: ICSOFT, ISBN 978-989-8425-77-5, pages 105-110. DOI: 10.5220/0003448901050110


in Bibtex Style

@conference{icsoft11,
author={Mohamed Khalgui and Olfa Mosbahi and Jiafeng Zhang and Zhiwu Li and Atef Gharbi},
title={FEASIBLE DYNAMIC RECONFIGURATIONS OF PETRI NETS - Application to a Production System},
booktitle={Proceedings of the 6th International Conference on Software and Database Technologies - Volume 2: ICSOFT,},
year={2011},
pages={105-110},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003448901050110},
isbn={978-989-8425-77-5},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 6th International Conference on Software and Database Technologies - Volume 2: ICSOFT,
TI - FEASIBLE DYNAMIC RECONFIGURATIONS OF PETRI NETS - Application to a Production System
SN - 978-989-8425-77-5
AU - Khalgui M.
AU - Mosbahi O.
AU - Zhang J.
AU - Li Z.
AU - Gharbi A.
PY - 2011
SP - 105
EP - 110
DO - 10.5220/0003448901050110