An agent-based approach to reconfiguration of real-time distributed control systems, IEEE Transactions on Robotics and Automation, vol.18, issue.4, pp.444-451, 2002. ,
DOI : 10.1109/TRA.2002.802211
Modelling Distributed Control Systems Using IEC61499, IEE, 2001. ,
Fieldbuses and interoperability, Control Engineering Practice, vol.7, issue.1, pp.81-94, 1999. ,
DOI : 10.1016/S0967-0661(98)00140-3
Realtime characteristic of FF like centralized control fieldbus and its state-of-art, IEEE ISIE. Italy, vol.1, pp.140-14507, 2002. ,
URL : https://hal.archives-ouvertes.fr/inria-00107603
Function Block Based Design Pattern for Flexible Manufacturing System, IEEE SMC, 2003. ,
Formal-modeling and Verification in the Software Engineering Framework of IEC61499: A way to self-verifying systems, IEEE ETFA, 2001. ,
A modeling approach for verification of IEC1499 function blocks using net condition/event systems, 1999 7th IEEE International Conference on Emerging Technologies and Factory Automation. Proceedings ETFA '99 (Cat. No.99TH8467), pp.261-270, 1999. ,
DOI : 10.1109/ETFA.1999.815365
Integrating UML-RealTime and IEC 61131-3 with function block adapters, Fourth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. ISORC 2001, 2001. ,
DOI : 10.1109/ISORC.2001.922864
MODELING WITH COLORED TIMED OBJECT-ORIENTED PETRI NETS FOR AUTOMATED MANUFACTURING SYSTEMS, Computers & Industrial Engineering, vol.34, issue.2, pp.463-480, 1998. ,
DOI : 10.1016/S0360-8352(97)00145-9
Coloured Petri Nets Basic Concepts, Analysis Methods and Practical Use, 1997. ,
Modeling and analysis of FF instrument, Chinese Journal of Scientific Instrument, p.3, 2001. ,
A Timed Automata Model of IEC 61499 Basic Function Blocks Semantic, th Euromicro Conference on Real-Time Systems, p.7, 2003. ,
URL : https://hal.archives-ouvertes.fr/hal-00918978