论文部分内容阅读
基于对传统Petri网结构的修改,文章提出了一种新的模型方式,并具体给出相应的结构定义,图形表示和行为规则.该方法实现了控制信息和数据信息的统一化表示,从而易于表示系统中的循环和条件操作.最后就嵌入式系统的描述举例说明.
基于Petri网的嵌入式系统建模
【摘 要】
：
基于对传统Petri网结构的修改,文章提出了一种新的模型方式,并具体给出相应的结构定义,图形表示和行为规则.该方法实现了控制信息和数据信息的统一化表示,从而易于表示系统中
【机 构】
：
中科院计算技术研究所
【出 处】
：
微电子学与计算机
【发表日期】
：
2002年10期
【基金项目】
：
国家高技术研究发展计划(863计划)
其他文献
指纹识别是计算机模式识别领域中一个比较活跃的课题,有着十分广泛的应用前景.对于庞大的指纹信息,人们越来越关心的是如何对其分类与储存.文章提出了一种基于BP神经网络的指
<正>授课教师Christoph Klemmt美国辛辛那提大学Igor Pantic扎哈·哈迪德建筑事务所研究助理ShuaiYang、Connor Hymes、唐宁组员江冠男、袁璟、赵冰、张杨姝禾、翟凌雨、吴韶
超宽板块和不规则采光顶幕墙的施工方案打破了传统的框架思路,采用装配式和单元式做法,将复杂的工作在加工厂处理好,保证质量和工期。对于表皮不规则的采光顶,从方案设计、材
元数据标准体系是科学数据库元数据系统的核心模块,标准体系设计的合理性和实用性直接影响元数据的质量.本文首先分析了科学数据库资源特点和元数据标准的使用需求,然后提出
文章以Verilog硬件描述语言描述的电路为研究对象,给出RTL级集成电路的静态时序深度和动态时序深度概念.从静态、动态两方面出发度量语句的执行效果和程序运行的时序关系,并
文章在分析数字信号处理器指令并行操作的基础上,研究了软件流水线,探讨了软件流水线的产生条件并分析了其性能,并结合TD-SCDMA移动通信用户设备(UE)研究项目,分析了软件流水