与时间相关系统的Petri网模型

首先简介一般加时间Ｐｅｔｒｉ网模型及其使能规则和点火规则,然后给出几种典型的加时间的Ｐｅｔｒｉ网模型及其动态行为及点火规则,其中,通讯时间Ｐｅｔｒｉ网侧重于网与环境之间的通讯;ＴＣＰＮ侧重于讨论变迁的最早和最晚点火时间以及点火持续时间;ＧＳＰＮ侧重于从概率的角度讨论变迁的点火时间问题,本还给出三种具有代表性的用于描述多媒体同步的Ｐｅｔｒｉ网模型及其点火规则。     

自主连续Petri网的性质及判定方法

给出了自主连续Ｐｅｔｒｉ网（ＡＣＰＮ）的动态性质及结构性质的定义,并对其结构性质给出了相应的判定方法,从而为对ＡＣＰＮ的性质分析提供了必要的理论依据     

变速连续Petri网的性质及运行分析

给出了一种变速连续Ｐｅｔｒｉ网的定义及主要性质，详细阐述了其运行算法。算法中主要考虑了对冲突的检测及处理。给出了一个示例，并通过仿真得到了其运行情况。     

Petri网的对偶运算及性质

给出了对偶Petri网的加法、笛卡尔积、并运算及有关性质 ,得到了对偶Petri网运算的一些结果     

变速连续 Petri 网的性质及运行分析

给出了一种变速连续 Petri 网的定义及主要性质 .详细阐述了其运行算法.在算法中主要考虑了对冲突的检测及处理.给出了一个示例，并通 过仿真得到了其运行情况.     

扩展时间Petri网在CSMA/CD建模中的研究

对CSMA/CD的建模有利于对协议本身进行分析和评价,在对存在冲突事件的系统建模时,利用普通Petri网不能很好地反映和解决冲突。该文介绍一种扩展时间Petri网(ETPN),它利用在弧上赋予时间函数来解决冲突事件发生,然后用ETPN来对CSMA/CD进行建模并对模型进行分析。在较复杂的系统中,ETPN能够反映并解决事件的冲突,具有灵活、直观、可扩展性好等优点。     

基于进程网系统的Petri网性质分析

Petri网的进程网系统是为了描述Petri网特别是无界Petri网的进程行为而提出的一个重要概念。一个Petri网的进程网系统是以其基本进程段的集合为新的变迁集，以各个基本进程段集的输入和输出库所集的并集为新的库所集，以原网系统的初始标识为初始标识而得到的一个新的网系统。本文在借助进程网系统的概念，讨论了一个Petri网同它的进程网系统在可达性、有界性、公平性、活性等方面的对应关系。     

基于Petri网的工作流时间建模

针对工作流系统的特点对时延Petri网模型进行扩展,提出了一种新的工作流建模方法.并以某一检查案例为工作流模型,进行了工作流建模和时间性能分析.     

一种扩展了价格变迁的Petri网及应用

提出一种扩展了价格变迁的Petri网一经济Petri网，讨论了相应的分析方法，并用经济Petri网建立一个业务流程的费用模型。得出的结论包括：为Petri网扩展价格变迁是可行的：将经济Petri网应用于业务流程管理领域是有效的。     

随机数学在计算机随机Petri网模型变迁化简技术中的应用

用随机数学方法，推导出计算机随机Petri网中时间变迁的串联、并联及选择结构模型的性能等价公式，为随机Petri网模型的化简提供了一个有效的手段。     

基于Petri网和GASA的双资源JSP动态优化调度

以带有控制器的Petri网为建模工具对柔性生产调度中的离散事件建模.该模型不仅能够反映柔性生产线上待加工产品的多条工艺加工路径及其资源约束,还可以对系统的设备维护、各种优先级等特性进行描述.利用遗传算法和模拟退火算法(GASA)获得调度结果,用于解决作业车间在机床、操作工人等生产资源制约条件下的动态优化调度.该调度以生产周期为目标,通过多种交叉、变异、概率更新、再分配策略等遗传和模拟退火操作,得到目标的最优或次优解;尤其重要的是该算法能够在扰动发生后迅速提供新的调度计划.对算法进行了仿真研究,结果表明该算法是可行、有效的.     

Petri网的块组合并网及性能分析

提出Petri网的两类块组合并网,讨论了保持网的结构性质的条件,这些结果对Petri网的合成和分析是非常有用的.     

制定企业并购战略的Petri网模型

将Ｐｅｔｉｒ网理论引入企业经营战略管理领域，提出了用Ｐｅｔｒｉ网对企业并购战略的制定过程进行分析与描述，使企业并购战略的制定过程在Ｐｅｔｒｉ网上得到清晰全面的描述。为企业经营者在做并购决策时提供了一种简洁，直观的决策分析工具，并给出了应用实例分析。     

基于随机Petri网的路由器的建模与状态爆炸的解决

提出了切换路由器的一个随机Petri网模型。在建模分析的过程中,通过逐步分解与迭代,解决了因系统规模扩充所带来的著名的状态爆炸问题,其结果证明了概算法的有效性与可行性。对于存在两个或以上的“资源”竞争的复杂环境,这种概算分析法也可以得到应用。     

基于．Net的人地挂钩动态监测监管系统的设计与实现

“人地挂钩”政策是城乡建设用地增减挂钩制度的延伸和拓展,是统筹城乡发展中土地利用方面所采用的新政策,是一种新的土地管理和新的城乡互动发展模式.采用ArcGIS开发平台,ASP．Net,C＃等技术建立的河南省“人地挂钩”动态监测监管系统,能够对全省土地综合整治试点项目、“人地挂钩”指标交易实现在线监管和实时监控,加大了“人地挂钩”工作中的透明度,提高了工作效率.同时,河南省“人地挂钩”动态监测监管系统建设,为保障省域、市域城镇化、工业化以及新农村建设用地等良性发展提供技术支撑,也为“人地挂钩”政策的完善以及在全国范围内的应用和推广提供了方法和思路.     

用动三轴和原位波速试验测定黄土的动力性状

本文通过西安地区黄土的动三轴试验和原位波速试验,讨论了影响黄土剪切波波速的主要因素以及剪切波速随深度变化的规律;同时提出了黄土用动三轴试验和原位波速试验测定的动剪切模量之间的相关关系。     

基于Petri网的钢铁企业知识流模型研究

知识流有助于挖掘知识的内涵和实现知识的共享,其顺畅流动能够有效整合供应链中的知识资源,提高链上企业在知识层面上的协作能力及其对市场的快速响应能力。因此,结合钢铁企业供应链知识特点,从知识流理论出发,用Petri网作为工具搭建钢铁企业知识流模型,以期改进钢铁企业知识流效率,实现对钢铁企业供应链知识服务提供支持,提高钢铁企业竞争力。     

L2(Rn)上连续小波变换及小波框架算子的一些性质

考察了L^2(R^n)上连续小波变换及小波框架算子,得到了它们的一些性质,并给出了严格证明,弥补了有关文献的不足．     

聚丙烯/蒙脱土复合材料热性能和动态力学性能

用熔融混合法制备出聚丙烯／蒙脱土复合材料(PP／MMT)，采用X射线衍射(XRD)、示差扫描量热法(DSC)、热重分析(TGA)以及动态热机械性能分析(DMTA)等手段进行分析，研究了相容剂马来酸酐接枝改性的聚丙烯对复合材料微观结构、热性能和动态力学性能的影响．结果表明，当相容剂含量达到一定值时，蒙脱土片层在聚丙烯基体中几乎全部以剥离或者无序的状态存在，复合材料的热性能、动态力学性能有较大的提高．