当前位置：
数字出版物超市 >> 
PN机的行为相关性研究
PN机的行为相关性研究
【项目名称】 PN机的行为相关性研究
【项目编号】 69973029
【项目目标】
【项目关键词】 投入产出系统 PN机 时序Petri网 完全行为不变性 证券交易系统 Petri网 Petri网模型 相关性研究 正确性验证 公平性 时序逻辑 并发系统 形式描述 不变性 动态行为 网上证券交易 需求规范 充分必要 时序关系 模型检查 同步合成 不可分解 使能 推理规则 可分解 形式化描述 因?
【项目承办单位】 山东科技大学;
【项目负责人】 蒋昌俊;
【项目来源】 国家自然科学基金项目
【涉及学科】 计算机软件及计算机应用
【科研经费】 12万
【所属大项目】
【项目参与研究人员】
    【项目参与研究机构】
    【项目成果摘要】
    【发布单位】 国家自然科学基金委员会
    【发布时间】 1999-01-16
    【申请截止时间】 1999-03-31
    【立项时间】 2000-01
    【完成时间】 2002-12
    【申请条件】
    【联系方式】
    【项目信息来源】 https://isis.nsfc.gov.cn/portal/proj_search.asp
    加载本项目科研成果产出报表....
    加载本项目科研成果....
    加载项目负责人以往科研成果....
    加载同类科研项目成果比较....
    加载本项目科研成果引证文献....
    加载学术文献....
    加载所属大项目下的其它项目....
    加载相关研究人员....
    加载相关研究机构....