位置：成果数据库 > 期刊 > 期刊详情页
同步合成网的完全顺序行为不变性
  • ISSN号：0255-8297
  • 期刊名称：《应用科学学报》
  • 时间：0
  • 分类：TP393.01[自动化与计算机技术—计算机应用技术;自动化与计算机技术—计算机科学与技术]
  • 作者机构：同济大学计算机科学与工程系
  • 相关基金：国家自然科学基金!（69973029，69933020）;全国优秀博士学位论文作者专项基金!（199934）;山东省优秀中青年
作者： 葛昌俊
关键词： PETRI网, 完全行为不变性, 计算机网络
中文摘要：

定义了完全行为不变性，引入根同构等概念，给出完全行为不变性的一个简洁判据，进一步地研究了完全行为不变性在活性和公平性等重要性质保程中的作用，指出在完全行为不变的前提下，这些性质的保持是充分必要的关系。

同期刊论文项目
PN机的行为相关性研究
期刊论文 6
并行程序设计环境关键技术
期刊论文 7
同项目期刊论文
投入产出系统Petri网模型
全局指令调度综述
一种基于动态并行区的OpenMP程序开发模式
基于网语言的Ada程序局部性质的分析和验证
一种虚拟人运动生成和控制方法
网上证券交易系统的时序Petri网描述及验证
投入产出系统Petri网模型
基于网语言的Ada程序局部性质的分析和验证
网上证券交易系统的时序Petri网描述及验证
扩展Petri网在实时数据库并发控制中的应用
Petri网化简规则在系统中的实现
期刊信息
  • 《应用科学学报》
  • 中国科技核心期刊
  • 主管单位:上海市教育委员会
  • 主办单位:上海大学 中国科学院上海技术物理研究所
  • 主编：王延云
  • 地址：上海市上大路99号123信箱
  • 邮编：200444
  • 邮箱：yykxxb@departmenl.shu.edu.cn
  • 电话：021-66131736
  • 国际标准刊号：ISSN：0255-8297
  • 国内统一刊号：ISSN：31-1404/N
  • 邮发代号:4-821
  • 获奖情况:
  • 首届中国高校优秀科技期刊,第2届中国高校优秀科技期刊奖,全国高校优秀科技期刊,中国科技期刊方阵双效期刊,上海市优秀科技期刊,首届《CAJ-CD》执行优秀期刊
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,美国化学文摘（网络版）,荷兰文摘与引文数据库,美国剑桥科学文摘,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）
  • 被引量:4747