基于语义的Petri网自动共享合成方法研究

提出了基于语义技术的Petri网自动共享合成方法。根据已经建立好的的领域本体,为Petri网中的所有库所添加语义标记,使其与已有的语义库建立联系。再通过Jena检索及推理技术来确定各个Petri网中的可融合库所,进而按照给定的语义合并规则来对可融合库所进行合并操作,以实现Petri网的自动共享合成。最后以服务计算为场景,讨论了利用语义技术来自动共享合成得到Web服务组合所需的Petri网的方法,并结合网上购书的Web服务组合实例,验证了该方法的正确性及可行性。     

智能实验室物理实体的形式化方法

通过引入Petri网对可表示静态物理世界W的知识重构与抽象模型进行扩展, 以增强其描述物理实体动态行为的能力. 将改进后的模型运用于智能实验室, 结果表明, 其能满足智能实验室物理实体形式化的要求.     

用蒙特卡罗和Petri网方法估计随机流网络的可靠性

提出一种估计随机流网络可靠性的基于蒙特卡罗抽样和Petri网建模仿真的MCPN方法.该算法以蒙特卡罗方法为基本框架,通过蒙特卡罗抽样来模拟网络系统的随机性.对于随机抽取的网络状态,通过Petri网仿真计算相应加权图的最大流量,判断其是否为有效状态.仿真结果表明,Petri网方法是一种有效的计算加权图最大流量的方法.     

参与者相关的动态工作流模型研究

为了实现工作流中任务的动态分配,分析了参与者普通模型、竞争模型、优先模型和委托模型的动态特性,提出了一种基于Petri网的参与者模型及其工作流的建模方法,使工作流中过程的定义独立于参与者状态,并在工作流执行过程中,过程实例能够根据参与者模型及其具体情况动态选择实际参与者,政务系统中公文流转的简单实例说明了该模型的实用性。     

Operational filtering of traffic data

An operational filter of traffic state variables is presented for use in designing computer-aided traffic surveillance and control systems. A total of 166 data sets from three traffic surveillance systems were used in the filter development. All the data sets were best represented by an ARIMA (0,1,3) filter. This filter has the following advantages: (1) it yields minimum mean-square-error forecasts if stationarity of the observations can be obtained; (2) it provides much better results than the existing ad hoc filters; (3) it is computationally tractable; and (4) it requires modest computer storage of data. Suggestions and implications for the use of this filter are given.     

基于Petri网的词法分析器的研究

采用Petri网对词法分析器进行了设计与分析.首先引入一套自成体系的"矢量文法",并以矢量文法为桥梁,分析了Petri网与经典文法的包含关系.最后利用Petri网为经典的右线性正规文法建模,实现了基于Petri网建模的词法分析.     

基于Petri网矩阵模型仿真的改进算法

Petri网的矩阵模型是分析Petri网的可达性、活性、有界性等基本性质以及状态演化过程的一种数学方法。在包含瞬时活动的情况下，传统的矩阵模型方法无法在一个步长内捕获所有应该同时激发的变迁，而是推迟到下一个步长，从而产生不精确的仿真结果。对此提出一种新的定步长仿真算法，得到了完全符合系统真实行为的仿真结果。算法进一步推广到基于事件调度的仿真方法中，可显著提高仿真效率。     

基于Petri网的虚拟人行走动作建模及其仿真实现

提出了一种基于位置／变迁Petri网结构的虚拟人行走动作模型。该模型首先根据人体特征和运动特征计算行走的时间和空间特征参数，进而根据实验数据，通过插值计算生成具体的人体运动，仿真模型框架是基于Petri网实现的，并以面向对象的方法封装了包括行走和爬行等周期性的行走动作。最后，设计并实现了一个仿真演示实例，结果验证了所提方法的可行性与有效性。     

继承式跨组织工作流设计在B2B电子商务模式中的应用

根据面向对象的编程思想，在Petri网进行工作流模型设计的基础上，提出了在B2B电子商务模式中的一种继承式跨组织工作流设计的建模方法，从而达到在B2B电子商务中加强商业伙伴有效合作的同时，又对自身流程的有效控制的效果，起到促进B2B电子商务发展的最终目的，文章中以实例做了分析论证。     

基于高级对象Petri网的工作流过程建模研究

通过对当前工作流过程建模方法的总结,提出这些方法的不足之处,展望了过程建模的发展动向.在基本的有色 Petri 网系统定义的基础上,引入面向对象技术和时间映射机制,提出了一种基于高级对象Petri 网的建模方法,以提高模型的可重用性,加强对动态流程的描述能力,降低建模过程的复杂度,解决临界资源的共享问题.通过一个具体实例阐述了如何建立高级对象 Petri 网模型,并通过活性分析算法,验证模型对流程描述的正确性和有效性.