基于Petri网的MMS服务描述、验证及实现

摘要

利用Ｐｅｔｒｉ网这一形式化描述工具建立了ＭＭＳ（制造报文规范）体系结构的抽象模型，并利用Ｐｒ／Ｔ网对其中的重要服务——程序唤醒服务进行了描述、分析和验证，最后，以此为基础在ＭＡＰ、ＢＩＴＢＵＳ网上实现了ＭＭＳ服务。