论文部分内容阅读
Petri网具有图形化的直观性和数学的严谨性,非常适合进行复杂逻辑系统的描述与分析。分析了文献[1]提出的基于交易器的安全系统有限自动机模型的局限性,提出了新的基于有色Petri网的CPN模型分析方法,最后给出了文献[1]中实例对应的CPN模型。
安全开放系统的Petri网模型
【摘 要】
：
Petri网具有图形化的直观性和数学的严谨性,非常适合进行复杂逻辑系统的描述与分析。分析了文献[1]提出的基于交易器的安全系统有限自动机模型的局限性,提出了新的基于有色Petri网的CPN模型分析方法,最后给出了文献[1]中实例对应的CPN模型。
【机 构】
：
贵州财经学院信息学院,贵州大学计算机软件与理论研究所
【出 处】
：
计算机应用与软件
【发表日期】
：
2005年10期
【基金项目】
：
贵州省自然科学基金
其他文献
目的：分析枯草杆菌二联活菌肠溶胶囊联合美沙拉嗪肠溶片治疗溃疡性结肠炎的临床效果。方法：选取我院2013年1月-2014年2月期间收治的溃疡性结肠炎患者90例，按照治疗方法不同分为
目的：探讨心肌梗死老年患者接受人性化护理对于心理状态和护理满意度的改善效果。方法：采用随机方法将2015年1月-2016年6月我院收治的120例老年心肌梗死患者进行分组，对照组采用
目的研究和分析中孕引产后的月经恢复情况，对影响引产后月经恢复情况的相关因素进行分析。方法选取我院收治的64例中孕引产妇女按引产方式不同分成A组（n=31）和B组（n=33）。其中A组
目的：评价腹腔镜不同术式治疗卵巢子宫内膜异位囊肿的疗效与安全性。方法：选择2015年8月-2016年8月在我院使用腹腔镜治疗的98例卵巢子宫内膜异位囊肿患者，依据不同止血方法随机
目的：分析研究输尿管镜钬激光碎石术治疗输尿管结石患者的临床护理措施。方法：随机选取2015年9月-2016年10月在本院接受输尿管镜钬激光碎石术治疗输尿管结石患者162例，对所有患
多层关系数据库是解决安全数据库中多实例问题的良好方法。防止未授权的用户从可读取的安全等级较低的数据中推理出安全等级较高的数据是多层关系数据库达到安全的必要保证。由于数据库中元组、属性、元素之间的相互关联性,推理问题成为安全数据库的重要内容。文章以数据库中的函数依赖来检查多层关系数据库的各个属性的安全等级,并在此基础上调整各个属性的安全等级,以保证数据的安全性。
人造木材具有轻质、高强、保温，加工性能好，耐高温等特点，是一种新型的复合硅酸钙材料。采用动态法合成工艺，掺加纤维材料和高分子胶结料进行补强与增韧，制得了人造木材。介绍人造
文章介绍了我国１９９６年节能状况和国家有联政策及措施，分析我国１９９６年节能工作存在的主要问题；并介绍了我国１９９７年节能计划和对策；指出为了实现“九王”及２１２０年节能计划目标，当前应做好的十个方面
目的：探讨腹痛的临床观察与护理措施，以达到最终治疗护理效果。方法：对腹痛患者进行严密观察，对其病症体征、腹部疼痛的变化进行细致观察，为腹痛的确诊提供诊断依据，使患者能够得到