生命是永恒不断的创造,因为在它内部蕴含着过剩的精力,它不断流溢,越出时 间和空间的界限,它不停地追求,以形形色色的自我表现的形式表现出来。 --泰戈尔 Visualization of PLC Programs using XML M. Bani Younis and G. Frey Juniorprofessorship Agentenbased Automation University of Kaiserslautem P. 0. Box 3049, D-67653 Kaiserslautem, Germany Abstract - Due to the growing complexity of PLC programs there is an increasing interest in the application of formal methods in thi