位置：成果数据库 > 期刊 > 期刊详情页
基于活标识性质的活网子类划分
  • ISSN号：1004-731X
  • 期刊名称：《系统仿真学报》
  • 时间：0
  • 分类：TP391.9[自动化与计算机技术—计算机应用技术;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]东南大学,计算机科学与工程系,网络室,江苏,南京,210096 东南大学,计算机科学与工程系,网络室,江苏,南京,210096 山东科技大学信息科学与工程学院,山东,泰安,271019
  • 相关基金：国家自然科学基金会重大研究计划(90204009和90412014)和高等学校博士学科点专项科研基金(20030286014).
作者： 吴俊, 罗军舟, 吴哲辉
关键词： PETRI网, 冲突, 死锁, 非对称选择网
中文摘要：

现有的Petri网子网分类在活性判断问题上难度跳跃过大,难以取得突破.通过对活标识单调性质的研究对结构活网进行了子类划分,将结构活网划分为严格单调活网、单调活网、关于冲突源单调活网、广义单调活网和奇异活网.同时,文中还给出了严格单调活网和单调活网的判定条件.这种划分对活性判断问题作了更细的分级,为活性的研究提供一种新思路.

同期刊论文项目
大规模网络的分布式管理及参考模型的研究
期刊论文 6
AMS数据计算环境的研究和实现
期刊论文 24
同项目期刊论文
基于Petri网的多Agent系统建模的研究
基于QoS的网格资源管理
量子可逆逻辑电路最小代价综合算法
四量子可逆逻辑电路快速综合算法
网格环境下基于多Replica的数据传输
量子可逆逻辑电路综合的快速算法研究
基于Access Grid的共享应用程序开发
一种基于哈夫曼树的最大频繁序列挖掘算法
基于逆向分层的网格工作流调度算法
一种基于多簇结构的高斯动态粒子群优化算法
粒子群优化算法研究进展
一种Agent的偏好系统及其建立
基于合作博弈的移动代理网管任务协作模型
一种交叉点小缓存CICQ交换机高性能调度算法
基于Hash表的量子可逆逻辑电路综合的快速算法
一种改进的基于约束关系的XML查询重写算法研究
基于认证测试的安全协议分析
一种基于多类型偏好的偏好逻辑
不可否认协议时限性的形式化分析
面向Deadline约束的网格QoS任务调度
网格QoS层次结构模型的研究
AMS实验中的副本管理研究
一种基于动态修正值的分布数据流Top-K查询处理算法
模拟人类发散思维的测度值马尔可夫理论模型
网络管理中多agent的半在线调度算法
基于颜色Petri网的多agent动态调度建模与分析
基于多Agent系统网管模型的形式化建模
期刊信息
  • 《系统仿真学报》
  • 北大核心期刊（2011版）
  • 主管单位:中国航天科工集团公司
  • 主办单位:北京仿真中心 中国仿真学会
  • 主编：李伯虎
  • 地址：北京市海淀区永定路50号院
  • 邮编：100039
  • 邮箱：simu-xb@vip.sina.com
  • 电话：010-88527147
  • 国际标准刊号：ISSN：1004-731X
  • 国内统一刊号：ISSN：11-3092/V
  • 邮发代号:82-9
  • 获奖情况:
  • 国内外数据库收录:
  • 美国化学文摘（网络版）,荷兰文摘与引文数据库,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）
  • 被引量:51729