Petri网精细化操作及其在系统设计中的应用

来源 :软件学报 | 被引量 : 0次 | 上传用户:wac725725
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对柔性制造系统的设计问题,提出了用Petri网精细化操作解决问题的方案.给出了两种精细化操作.研究了Petri网精细化操作的动态性质保持问题,给出了精细化操作保持活性、有界性、可回复性的充分必要条件:对一个柔性制造系统进行了设计和验证.其结果可为Petri网系统静态和动态性质的考察提供有效途径,为Petri网复杂大系统的分析提供重要手段,并特别适合于柔性制遣系统的设计,具有一定的实用价值.
其他文献
目的:制备伪狂犬病病毒(PRV)单克隆抗体,为PVR防控奠定基础。方法:用PRV疫苗毒株Bartha—k61免疫小鼠,取免疫小鼠脾脏B淋巴细胞与SP2/0细胞融合,用酶联免疫吸附实验筛选阳性杂交瘤细
提出一种构造代码安全性证明的新方法.这种方法的基本思想是,在基础逻辑中定义辅助递归函数来帮助构造证明.这种构造方法在不增加系统信任计算基础的情况下可以极大地减轻构造证
本人事信息查询统计管理系统是基于Windows平台的应用软件,将用Visual Basic6.0来开发系统主体结构及各功能模块的实现,用Microsoft Access2000来做数据库的数据结构和完整性规
目的探讨血清瘦素、IL-17水平与哮喘预测指数(API)阳性婴幼儿喘息的相关性。方法将78例婴幼儿喘息性患儿分为API阳性组42例、API阴性组36例,并选取健康儿童40例为正常对照组。E
本文通过对网络隔离技术和防火墙技术的原理介绍以及从两者的安全性、发展趋势的分析比较,从而得出网络隔离是用户解决网络安全问题的最佳选择。
摘 要:我们因地制宜,充分收集利用遵义农村地区的各种文化资源、闲置生活用品,开展有特色的美术教学活动,自主开发了地方美术课程教材《家乡美 美家乡》,利用自编教材有情境、有计划、有步骤地开展美术教育教学活动,体现地方美术课程教材的价值。  关键词:地方文化;闲置物品;美术资源;课程开发  美术新课程标准中提出:美术课程追求人文性,学生在美术学习中学会欣赏和尊重不同时代和文化的美术作品,关注生活中的美
随着新课改的实施,美术教学通过引进创意性写生教学方法来改善美术教学的内容和教学结构,同时利用美术的艺术性处理方式来提高学生的绘画热情和想象能力以及创造能力,以此完
为了支持大规模用户共享虚拟环境,多服务器结构被应用到分布式虚拟环境系统中,每个服务器负责虚拟环境的一个区域划分.由于用户不可预知的移动和交互,可能会导致某些服务器负载过
主要研究由Franklin和Reiter提出的可验证签名分享(V∑S).它可以允许一个签名的接受者在,1个代理之间分享该签名,使得代理者的一些子集以后可以重构该签名,利用安全的分布式密钥生