ABB has been actively working with the PNO (PROFIBUS and PROFINET Nutzerorganisation) in Germany since its inception in 1989 and is a member of the PNO Advisory Board.
ABB自PNO (PROFIBUS和PROFINET组织)1989年在德国成立之时就积极和其合作，并且是PNO咨询董事会的成员之一。
Aiming at the problems of verifying PNO, this paper introduces temporal logic to PNO model and presents a modeling and verifying method based on PNO with precise marking.
针对PNO模型存在的分析验证问题，本文将时态逻辑引入PNO模型，提出了相应的建模及验证方法。
Aiming at the problems of verifying PNO, this paper introduces temporal logic to PNO model and presents a modeling and verifying method based on PNO with precise marking.
针对PNO模型存在的分析验证问题，本文将时态逻辑引入PNO模型，提出了相应的建模及验证方法。
应用推荐