【摘 要】
：
合成操作是Petri网系统建模中一种重要的自底向上建模方法,而在Petri网系统的合成研究中,一些好性质,如活性、无死锁性、可回复性等的保持性,是一个重要的研究问题.研究了Pet
【机 构】
：
中国科学院数学与系统科学研究院数学研究所
【基金项目】
：
国家自然科学基金，国家重点基础研究发展计划(973计划)
论文部分内容阅读
合成操作是Petri网系统建模中一种重要的自底向上建模方法,而在Petri网系统的合成研究中,一些好性质,如活性、无死锁性、可回复性等的保持性,是一个重要的研究问题.研究了Petri网系统同步合成操作活性与无死锁性的保持性.与以往研究工作不同,基于路径的并发合成用并发语言的方法,提出并证明了同步合成Petri网系统的一个并发语言关系式.该语言关系式可用于判定同步合成Petri网系统的活性与无死锁性,同时给出了同步合成Petri网系统活性与无死锁性的充要条件.最后提出一些条件,在这些条件下,同步合成Petr
其他文献
乡村振兴,产业兴旺是基础,品牌发展是关键。该文以"粤字号"2019年县域名特优新农产品区域公用品牌百强为评价依据,在分析云浮市农产品区域公用品牌整体及单个品牌竞争力的基
提出一种新的纹理谱描述子应用于基于内容的图像检索中.讨论了小波变换的思想和纹理谱概念的联系,根据纹理的视觉特性,提出纹理模式等价类的概念,设计出更合理的纹理谱描述子
对美国黑李进行引种试验,结果表明:美国黑李适应本地区气候条件生长,并筛选出早熟品种李王、中熟品种黑琥珀、晚熟品种黑宝石和皇家宝石等4个优良品种,其3年平均树高、地径、
《诗经》是我国最早的诗歌总集,也是我国优秀传统文化最重要的文本载体。《诗经》作品内涵丰富,涉及爱情主题、社会生活主题、家国情怀主题和批判现实主义文学传统等诸多方面
在职业教育视域中，专业论与普通论两种课程理念形成鲜明对峙与冲突。这两种课程理念分别受到职业教育的职业性和教育性的质性规定，并在课程实践中表征为相互冲突，其表层冲突在于
农垦是推进中国特色新型农业现代化的重要力量,在乡村振兴战略视域下,农垦文化软实力的提升有着重大的战略意义。通过对学界研究农垦文化软实力现状的分析,提炼出农垦文化软
2017年1月财政部颁布并实施《行政事业单位国有资产年度报告管理办法》,要求行政事业单位在日常管理的基础上编制年度国有资产使用报告,对使用情况进行汇总、分析、上报。[1]
柳梦寅是朝鲜李朝时期的著名文学家，其代表作《於于野谈》是研究李朝中期文化思想和文学、美学观点的可贵资料。《於于野谈》卷三《学艺篇》中论诗的内容有很多，这些内容较集中