搜索资源列表
wf
- 六个基本实体:工作流定义、活动、转换条件、工作流相关数据、角色、应用程序,几个实体加上管理部分基本可以实现接口,这里的活动就是库所,转换条件对应的是条件和变迁,可贵的是文档里介绍了表结构,对状态、类型等也作了枚举,简单介绍了Petri网结构,最重要的是介绍了基于关系型数据库的建模,介绍了几个条件路由,后面就是流程运转的核心部分,也是有限状态机实现-Six basic entities: the workflow definition, activity, conversion condition
SB_PetriNetsWithWeights
- 基于petri网进行服务行为验证算法,首先生成数据,然后进行服务行为的验证,最下面可以清空数据。-Service behavior based on petri nets to verify the algorithm, first of all generated data, then the verification service behavior, at the bottom to empty the data.
systemdesign
- 应用π演算方法,结合Petri网中的面向对象Petri网和时间Petri网,建立了嵌入式系统软件体系结构抽 象模型ESAM,研究了ESAM模型的动态演化、一致性和死锁。应用ESAM抽象模型,对车站信号联锁控制器进行了 建模与分析。-Application of π calculus, combined with Petri nets in object-oriented Petri nets and time Petri nets, embedded system software ar
OSWorkflow
- 毕业论文。通过使用OSWorkflow工作流引擎,把工作重心放在业务和规则定义上, 而不需再通过硬编码的方式实现一个Petri网或是一个有穷自动机,从而提高 开发效率。本文的主要目标是对OSWorkflow引擎进行研究并应用于某信息 管理系统。主要研究工作有:对信息管理系统进行需求分析,包括项目业务 概述、业务流程分析并用UML的用例模型对系统业务功能建模,最后得出 系统的功能模型;在分析和研究基于J2EE工作流管理系统模型的基础上, 把工作流引擎OSWorkflow技术
hisim-1.0.1
- Hisim是一个可以开发混杂Petri网的工具软件,依据微分Petri网理论开发而成。-Hisim is a hybrid Petri net can be a tool for developing software based on Petri net theory developed with the differential.
Petrielest
- 基于时间Petri网的并行测试任务调度Petri nets based on time scheduling parallel test-Petri nets based on time scheduling parallel test
Rule-Expert-Knowledge
- 本文提出了一种新的推理机制来确定规则的专业知识为基础的Petri网适当的开关操作(RKPN)方法。一个26馈线的实际分配制度被指定为揭示了发展与计算机模拟方法的有效性。拟议的推理机制可以成功地解决馈线过载/故障应急根据负载的变化,从温度升高导致的。 -This paper presents a novel inference mechanism to determine appropriate switching operations by the rule-expert knowledge
LCU
- 模糊Petri网在8K电力机车LCU故障诊断中的应用-Fuzzy Petri nets 8K electric locomotive in the diagnosis of LCU
22
- 旅游信息服务组合的Petri网建模及其实现.Tourist information services of Petri net modeling portfolio and its implementation-Tourist information services of Petri net modeling portfolio and its implementation.
Pipe_3.0
- Petri 网建模应用实例,用于分析Petri网的特性-Petri net modeling application examples for the analysis of the characteristics of Petri nets
SE2-Spec-of-Systems-and-Languages
- 第二卷涵盖的基本原则和技术的具体制度和语言。它涉及的建模符号(语用,语义和语法的系统和语言) ,空间造型和简单的时间现象,而且这种专门题目为模块化(包括uml类图), petri网,活出序列图,状态图,和颞逻辑学,其中包括持续计算。最后,本书介绍的技术翻译和编译器开发的功能性,势在必行,模块化和并行编程语言。 -The second volume covers the basic principles and techniques of specifying systems and langua
tina-2.9.6-i386-mswin
- 用于构建简单petri网的图形化工具,简单易用,上手较为简单,适合初学者使用。-Used to build graphical tool for simple petri net, easy to use, to get started is relatively simple for beginners.
Petri_book
- petri网的基本概念; petri网建模工具 petri网运行环境 -the basic concepts of Petri net petri net modeling tool petri net operating environment
PIPEv4
- Petri网画图仿真软件,适合基本,随机和着色Petri网。开源-Petri nets drawing simulation software, for basic, random and colored Petri nets. Open source
code
- 基于JAVA代码的petri网仿真软件,可进行网络图最佳路线计算-JAVA-based code petri net simulation software, which can calculate the best route for network diagrams
petrinet2.3_demo_2007a
- 在matlab下构建petri网的工具箱,适用于matlab2007a-matlab toolbox for building petri net
hpsim1_1
- Petri网仿真,可以进行Petri网的动态仿真,库所变迁都可以设置时间因素-Petri Net simulation
fual
- 一种计及不完备信息的电力系统抑制弧Petri网故障诊断改进模型,保证在出现保护、断路器发生误动、拒动或者警报信息出现丢失、畸变等异常情况时的故障诊断结果的准确性-An account of incomplete information systems inhibit electrical arc Petri nets improved fault diagnosis model, to ensure that in the event of the protection circuit brea
PN_trans_prob
- Petri网某一时刻各状态转移概率的求解-Solution of state transition probability at any time in Petri net
paper4
- 一种基于逻辑Petri网的Web服务簇组合方法-A Web service composition method of cluster logic Petri Net