Feasible dynamic reconfigurations of Petri Nets application to a production system

ICSOFT 2011 - Proceedings of the 6th International Conference on Software and Database Technologies

Volumn 2, Issue , 2011, Pages 105-110

  Khalgui, Mohamed ^a,b   Mosbahi, Olfa ^a,b   Zhang, Jiafeng ^b   Li, Zhiwu ^b   Gharbi, Atef ^c  

^a ICTICA   (Tunisia)

^b XIDIAN UNIVERSITY   (China)

^c UNIVERSITY OF CARTHAGE   (Tunisia)

Author keywords

Computation tree logic; Control System; Model checking; Petri net; Reconfiguration

Indexed keywords

AUTOMATIC RECONFIGURATION; COMPUTATION TREE LOGIC; DYNAMIC RE-CONFIGURATION; INITIAL MARKING; PRODUCTION SYSTEM; RECONFIGURATION; RUNTIMES; USER REQUIREMENTS;

COMPUTATION THEORY; CONTROL SYSTEMS; DYNAMIC MODELS; PETRI NETS; PRODUCTION ENGINEERING; TREES (MATHEMATICS);

MODEL CHECKING;

EID: 80052555209     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)

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. (Pubitemid 43856070)
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 εcedac approach. In Third International Conference on Industrial Applications of Holonic and Multi-Agent Systems. Springer-Verlag.
20. SESA (2008). Signal/net system analyzer. In http://www.ece.auckland.ac. nz/vy-atkin/tools/modelchekers.html.
21. Vardi, M. and Wolper, P. (1994). Reasoning about infinite computations. In Information and Computation, 115(1).