论文部分内容阅读
基于Petri网技术及其共享位置（shared places），文章介绍了一种综合设计方法，该方法便于多种设计模型的重用，并且在一定条件下，每一步综合设计过程都能保持无死锁（deadlock free）等Petri网的重要行为特点,对一些特殊的网类，活性（liveness）也能保持．
基于共享位置的Petri网系统综合与保性
【摘 要】
：
基于Petri网技术及其共享位置（shared places），文章介绍了一种综合设计方法，该方法便于多种设计模型的重用，并且在一定条件下，每一步综合设计过程都能保持无死锁（deadlock free）等Pet
【机 构】
：
中国科学院软件研究所计算机科学重点实验室,中国科学院数学与系统科学研究院
【出 处】
：
计算机学报
【发表日期】
：
2007年3期
【基金项目】
：
本课题得到国家自然科学基金（60473007,60421001）资助.
其他文献
考虑代数双曲B样条曲线的升阶问题，从理论上证明了曲线的升阶可以理解为控制顶点的割角过程。为了实现代数双曲B样条曲线的升阶，文中构造了一组基函数——双阶代数双曲B样条基
发动机作为现代机械动力的“心脏”，是一种多结构系统组成的复杂机器，装调工人技能水平和工作质量直接关系到机器质量，关系到动力运输机械的整体性能优劣。不断增强发动机行业的
＂粮猪安天下＂。生猪产业是畜牧业的支柱产业,猪肉是人民主要的肉食品来源。我国是世界第一养猪大国,生猪存栏量、猪肉产量约占世界总量的50%。2013年我国生猪存栏4.74亿头,出栏
对基于映像的集群部署系统传输模型进行了研究,提出了基于多叉树的TFTP传输模型以解决TFTP服务器性能瓶颈问题.依据集群规模增大、系统平均带宽下降的特点,提出了基于带宽受
中秋节前很多人期盼猪价能全国性破＂8＂,但一直未能实现,9月8日全国生猪出栏价为14.88元/kg,比8月底还下跌了0.14元/kg。生猪养殖虽已步入盈利,但并未驱使母猪补栏大幅启动,主要
2009年10月20日,号称中国第1000万辆的金橙色解放J6在长春一汽驶下生产线,中国从此迈进千万辆级汽车生产大国的行列。第1000万辆下线是一个标志,中国从此成为继美国、日本之
小麦是一种在世界各地广泛种植的禾本科植物,总产量仅次于玉米.小麦主要分春小麦和冬小麦两大品种.我国冬小麦种植面积约占小麦总面积的90％以上.主要分布在河南、山东、河北、
全混合日粮（TMR）是现代标准化、规模化奶牛场普遍采用的饲喂技术。该技术是依据各阶段奶牛的营养需要，一次性供给奶牛精粗比合适、适口性较好、各部分营养浓度相同的日粮，TMR技术
欧洲机床展览会（简称EMO）创立于1951年，由欧洲机床工业合作委员会（CECIMO）发起赞助，至今已成功举办了16届。EMO每逢单年在汉诺威和米兰轮流举办，是世界上一流的机械制造技术专业展览