论文部分内容阅读
该文利用Ｐｅｔｒｉ网形式化描述工具建立ＭＭＳ（制造报文规范）的抽象模型，对其中一个重要客体－－程序唤醒客体进行了的描述，并对其性质进行了分析。然后以此为基础在ＢＩＴＢＵＳ应用层上实现了ＭＭＳ服务，通过互操作测试验证了其正确性。
MMS程序唤醒服务的Petri网描述及实现
【摘 要】
：
该文利用Ｐｅｔｒｉ网形式化描述工具建立ＭＭＳ（制造报文规范）的抽象模型，对其中一个重要客体－－程序唤醒客体进行了的描述，并对其性质进行了分析。然后以此为基础在ＢＩＴＢＵＳ应用层上实现了ＭＭＳ服务，通过互操作测
【机 构】
：
大学计算机系(南京)
【出 处】
：
第六届全国青年计算机工作者会议
【发表日期】
：
1996年期
其他文献
随着生产系统越来越复杂，故障的智能诊断也越来越重要。在综合Ｐｅｔｒｉ网、模糊逻辑和面向对象技术的基础上，给出了一种面向对象的ＣＦＰＮ故障诊断方法。
针对Ｊｏｂｓｈｏｐ与ｆｌｏｗｓｈｏｐ混和调度问题提出了一种改进的Ｐｅｔｒｉ网－－－ＣＰＴＤ网，给出了描述该网的一些基本性质，并提出了建模方法。
【摘要】在现代信息技术发展、普及和应用过程中，社会逐步进入“互联网 ”时代，为人们生活方方面面带来了重大影响。档案管理部门在开展文书档案管理工作的时候，要主动采取应对措施，适应“互联网 ”发展，通过对现代化技术与设备的应用，保证文书档案得到有效管理，为今后的查询与利用奠定良好基础。本文简述“互联网 ”时代文书档案管理工作的重要性，并提出具体可行的应对策略。 【关键词】“互联网 ”;文书档案;管理
在当前档案服务工作中,通过将档案服务与"互联网+"深度融合,积极打造档案服务的全新模式,以此来提高档案服务水平,为档案用户提供符合需求的档案产品和服务,促进档案服务质量的全面提升,从而为档案事业的健康发展打下坚实的基础。本文从"互联网+"档案服务的特点入手,分析了"互联网+"环境下档案服务模式的创新基础,并进一步对基于"互联网+"的档案服务模式创新策略进行了具体的阐述。
采用扩展ＰＥＴＲＩ网对装配过程进行建模，研究了任务级上的装配路径规划方法并得出装配成功所必需的变迁路径。该方法可以用于产生具体的控制命令并可在不确定性存在时收敛到最终的规划
【摘要】机关档案是我国机关事业单位留存文档的一种记录方式，在机关工作中占有非常重要的地位。档案工作的源头就是收集，只有将档案资料收集起来才能实现集中统一保管，因此档案的收集工作非常重要。本文从机关档案工作的重要性入手，分析了现阶段机关档案收集工作中存在的主要问题，然后有针对性地提出对策，以期为机关档案收集工作的改进出谋划策。 【关键词】机关档案;收集;问题;对策 档案是人们利用文字、符号、图像
针对连续工业中的离散事件，作者得到了一种基于时间事件重图（ＴＥＭＧ）和Ｄｉｏｉｄ代数的建模方法。该文将在Ｄｉｏｉｄ代数模型的基础上，研究系统的控制问题，包括能控性和最优行为。最后，一个例子说明新方法的
Ｐｅｔｒｉ网结合了简明的图形表示和坚实的数学基础。作为一个数学工具，Ｐｅｔｒｉ网能用于建立状态方程、代数方程和其它数学模型，以及模拟模型；作为一个图形工具，Ｐｅｔｒｉ网提供了一个可视建模技术，令牌用来