论文部分内容阅读
讨论了Petri网的可重复向量和受控可重复向量的有效性.对于有效可重复向量,给出另一个定义,并且证明两种定义是等价的.给出了有效受控可重复向量的必要条件.
关于进程段的T向量有效性
【摘 要】
：
讨论了Petri网的可重复向量和受控可重复向量的有效性.对于有效可重复向量,给出另一个定义,并且证明两种定义是等价的.给出了有效受控可重复向量的必要条件.
【机 构】
：
甘肃民族师范学院计算机科学系
【出 处】
：
甘肃高师学报
【发表日期】
：
2016年12期
【基金项目】
：
甘肃民族师范学院院长基金（2013-16）.
其他文献
《黑镜》（《Black Mirror》）是英国电视四台于2012播出的迷你电视剧。故事围绕当今的生活展开,聚焦人类对当今社会的不安全感,以尖锐、悬疑、讽刺的形态娓娓道来。通过对《黑镜
目的：研究耐药性结核使用莫西沙星辅助化疗治疗的效果。方法：将2010年1月~2016年12月在我院接受治疗的60例耐药性结核患者按照随机数字表法平均分为两组,30例采用2DVSE/7DV常规
近代陇中诗人王海帆的诗歌从题材和主题内容上大致可分为抒怀诗、咏物怀古诗、记游诗和酬唱诗等四类,其诗歌创作具有较强的揭露、针砭黑暗现实的社会批判精神,表现出了强烈的
经国家科学技术奖励工作办公室批准，中国医疗保健国际交流促进会设立的“华夏医疗保健国际交流促进科技奖”，2011年度奖项申报工作截至于7月31日。全国共推荐和申报了138项科研成果，经形式审查，不合格项目4项，形式审查合格进入初审的项目共计134项。来自全国52名华夏科技奖评审委员在初审会议中，
目的：观察和分析药剂科参与指导临床抗菌药物使用的效果。方法：选取启东市中医院2014年1月~2015年12月手术患者120例,随机分为观察组60例和对照组60例,对照组采取常规抗菌药物
为提高咽喉结核的诊治水平及诊断率，减少误诊误治。现将2005年3月N2011年3月我们诊治的咽喉结核患者12例，采用回顾调查方法，对其临床资料进行分析讨论。
在知识分子题材的文学作品与电影中，“离去一归来”是被经常使用的叙事模式。就这一叙事模式所隐含的创伤叙事而言，个人与历史的关系、自我的反思与确证、身份的脱落与找寻等是
目的：对冠心病心绞痛采取中西医结合治疗的临床效果进行观察。方法：纳入我院于2014年10月~2015年10月收治的96例冠心病心绞痛患者作为本次研究的对象,根据随机数字表法将其分为
就专著[1]与[2]分别给出的完全不连通空间定义进行讨论,在型拓扑空间中,文中定义1与定义2不等价,定义2条件比定义1强,但在D＊拓扑空间中,两个定义等价.