论文部分内容阅读
研究了Petri网中子网的外部环境、子网的接口、子网的边界等问题，给出了相关的定义；通过分析不同子网的特点，将子网分为T子网、P子网、tP子网和PT子网等不同类型；提出了接口标准化和子网规范化的思想。研究成果有助于基于子网的结构化设计方法的研究和推广。
Petri网中子网的分类与规范化研究
【摘 要】
：
研究了Petri网中子网的外部环境、子网的接口、子网的边界等问题，给出了相关的定义；通过分析不同子网的特点，将子网分为T子网、P子网、tP子网和PT子网等不同类型；提出了接口标准
【机 构】
：
广东商学院信息学院,复旦大学计算机系
【出 处】
：
计算机科学
【发表日期】
：
2008年6期
【基金项目】
：
国家自然科学基金（60503007）、广东省自然科学基金（06300970）资助.
其他文献
利用红外光谱（IR）、核磁共振（NMR）、有机质谱（MS）、紫外光谱（UV）对乙嘧酚磺酸酯进行了波谱表征，对其化学结构中官能团特征红外吸收、核磁共振1H的化学位移、质谱准分子离子、紫外吸收
建立了直接进样测定工业废气中苯乙烯的气相色谱法。工业废气样品通过气体进样阀进入气相色谱仪中进行分离和检测，采用0．25mL气体进样阀时，方法的检出限为1．4mg／m^3，苯乙烯含量在3．1
采用惰性气体熔融一红外吸收光谱法测定硅中的氧，选择锡囊和镍篮做助熔剂，样品称样量为0．05g，分析功率为4．5kW。实验结果表明，样品释放完全，测定结果的相对标准偏差为4．67％（n=5），用GSBH40
将有向无环网络中简单路径的搜索算法用于贝叶斯网络中的因果链搜索。根据因果链上节点的条件概率表，计算出每条因果链中各节点的状态概率，从而完成了概率的传播和更新。本文所
随着网络规模的扩大，网络管理人员希望得到越来越高的_网管信息集成度。web服务（Web Service）是近几年出现的新技术。在本论文中，我们展示了web Service技术除了可以作为网管协议
关联规则获取是知识发现和数据挖掘中的核心问题之一。对超市来讲，从交易数据中挖掘出的关联规则有两点重要意义：一是有助于设计商品的摆放位置；二是帮助商品进货搭配规划，为更好
提出了一种基于多尺度局部二值模式的人脸识别方法。局部二值模式已经被证明是人脸表示的一种有效算子,不过由于其太小以至于鲁棒性不高。在多尺度局部二值模式中,计算是基于块子区域的平均值,而不是基于单个像素值进行的。人脸图像首先被分成小的子区域,具有不同权值的BLBP算子抽取每一子区域的直方图,然后把它们连接起来,组成一个空域增强的特征直方图。在χ2统计量作为不相似度量计算的特征空间里,采用最近邻分类器完