论文部分内容阅读
讨论一种事件驱动系统的建模方法,对基本Petri网作一定的扩充,使之具有描述事件/状态、控制结构和系统并行性的能力.
事件驱动系统的Petri网建模
【摘 要】
：
讨论一种事件驱动系统的建模方法,对基本Petri网作一定的扩充,使之具有描述事件/状态、控制结构和系统并行性的能力.
【机 构】
：
云南大学,云南大学
【出 处】
：
云南大学学报：自然科学版
【发表日期】
：
2003年1期
【基金项目】
：
云南省实验室基金，云南省自然科学基金，云南省中青年学术与技术带头人培养基金
其他文献
目的探讨一期后路矫治胸椎及胸腰段脊椎新鲜或陈旧性骨折脱位的疗效。方法对45例胸椎及胸腰段脊椎骨折伴前后、侧方脱位畸形及脊髓损伤患者均一期行后路手术,32例新鲜骨折患
目的评价后路椎弓根螺钉内固定治疗齿状突骨折疗效。方法对9例Anderson分类为Ⅱ型齿状突骨折患者行后路C1-2椎弓根螺钉固定。结果患者均获得随访,时间12-60（34.5±1.5）个月
目的探讨全膝关节置换术后正常情况下切口局部皮温变化规律，为鉴别全膝关节置换术后有无感染提供参考依据。方法对68例行初次单侧全膝关节置换的患者进行术前、术后各时间段双
目的探讨不同手术方法治疗胸腰椎转移瘤的疗效。方法对25例胸腰椎转移性肿瘤患者,根据术前Tokuhashi评分、肿瘤侵犯的节段、范围和有无神经症状,采取不同的手术方式治疗。术
在一般化破产模型的基础上,进一步考虑了随机利率的破产模型,使得相应的破产概率更加具有实际意义,可作为保险公司预警系统的一个重要指标.