您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. 工作流管理:模型、方法和系统

  2. 丛书前言 致谢 绪论 第1章 组织工作流 1.1 工作流管理中的本体 1.2 工作 1.3 业务过程 1.4 分配和接受工作 1.5 组织结构 1.6 过程管理 1.7 业务过程信息系统 1.8 习题 第2章 工作流建模 2.1 工作流概念 2.1.1 案例 2.1.2 任务 2.1.3 过程 2.1.4 路由 2.1.5 启动 2.2 Petri网 2.2.1 传统Petri网 2.2.2 高级Petri网 2.3 工作流概念到Petri网的映射 2.3.1 过程 2.3.2 路由 2.3.
  3. 所属分类:Java

    • 发布日期:2009-09-01
    • 文件大小:9mb
    • 提供者:bupt041137
  1. 高级petri网语言教程

  2. 高级PETRI网描述中会用到许多内建函数,本文是比较权威全面的CPN语言教程
  3. 所属分类:专业指导

    • 发布日期:2009-11-13
    • 文件大小:33kb
    • 提供者:JohnShen
  1. 武汉大学高级操作系统讲义

  2. 第一章 引论 第二章 进程 第三章 进程调度 第四章 死锁 第六章 向量时钟 ......
  3. 所属分类:网络攻防

    • 发布日期:2010-01-12
    • 文件大小:13mb
    • 提供者:fuyimaomao
  1. 计算高级PETRI网S—不变量的一种简单算法

  2. 高级PETRI网中的S—不变量对研究模型的性质有很大影响,本文提出了一种计算S不变量的简单算法。
  3. 所属分类:其它

    • 发布日期:2010-01-26
    • 文件大小:163kb
    • 提供者:wangsongfeng
  1. Petri网学习资料

  2. Petri网是1962年由德国C. A. Petri在他的博士论文中首次提出的网状结构的信息流模型。Petri网既是一种图形工具又是一种数学工具。作为图形工具,Petri网像软件设计中的结构图、流程图一样直观、形象,而且在这些网中,可以使用标记来模拟系统的动态行为和并发活动;作为一种数学工具,它可以建立状态方程、代数方程以及系统行为的其他数学模型,这些数学方程和模型有利于计算和验证。具有并发、并行、异步、分布特点的系统,都可以利用Petri网建立模型,然后进行分析验证。自诞生以来,Petri网
  3. 所属分类:制造

    • 发布日期:2010-11-09
    • 文件大小:7mb
    • 提供者:ccnuwy09
  1. ...基于CPNTools的性能评价仿真研究

  2. 着色Petri网作为一种高级Petri网,由于引入了时间,颜色集,层次结构等概念,使之更适合对大型复杂系统的仿真模拟 与性能分析
  3. 所属分类:软件测试

    • 发布日期:2011-04-12
    • 文件大小:396kb
    • 提供者:yuanyao13
  1. [工作流管理:模型、方法和系统][中文文字版]

  2. 丛书前言 致谢 绪论 第1章 组织工作流 1.1 工作流管理中的本体 1.2 工作 1.3 业务过程 1.4 分配和接受工作 1.5 组织结构 1.6 过程管理 1.7 业务过程信息系统 1.8 习题 第2章 工作流建模 2.1 工作流概念 2.1.1 案例 2.1.2 任务 2.1.3 过程 2.1.4 路由 2.1.5 启动 2.2 Petri网 2.2.1 传统Petri网 2.2.2 高级Petri网 2.3 工作流概念到Petri网的映射 2.3.1 过程 2.3.2 路由 2.3.
  3. 所属分类:Java

    • 发布日期:2013-02-27
    • 文件大小:30mb
    • 提供者:c_wen520
  1. Petri网分析工具JFern(基于Java开发)

  2. 能够对面向对象Petri网、高级Petri网及带时间的Petri网进行分析,简单实现。
  3. 所属分类:Web开发

    • 发布日期:2013-08-19
    • 文件大小:4mb
    • 提供者:cdvtczhgf
  1. 基于高级Petri网的仿真剧情正规校核方法

  2. 9针对仿真剧情主观校核不理想这一问题D提出了基于高级NOPQR网的仿真剧情正规校核方法&首先给出仿真 剧情的形式化定义D并分析仿真剧情可能存在的错误类型>其次给出仿真剧情到高级NOPQR网的映射途径D并给出基 于高级NOPQR网的仿真剧情校核准则和算法D此外D还给出实现仿真剧情动态校核的推理规则和机制>最后给出了一 个正规校核工具框架&实际应用已经证明了该方法的有效性&
  3. 所属分类:嵌入式

    • 发布日期:2008-12-06
    • 文件大小:722kb
    • 提供者:ken1983414
  1. petri网应用实例

  2. 模糊petri网电网故障诊断 Petri网仿真建模应用实例 科技发展提高了对系统性能的要求,加剧了系统姐成结构的复杂程度,促使研巧者 也不断提出了模糊Petri网(FuzzyPetriNet)、概率Petri网、随机Pe扣网、赋时Petri 网、着色Petri网、受控Petri网等高级形式的Petri网,并把Petri网同各种算法进行融 合,促使其产生功能更强大的建模功能。神经网络、网络计划技术和FPN理论的结合。 得益于这些理论的深入和提高,模糊Petri网应用的深度和广
  3. 所属分类:深度学习

    • 发布日期:2018-10-29
    • 文件大小:817kb
    • 提供者:weixin_43383382
  1. cpncourse:有色Petri网和CPN工具课程-源码

  2. 有色陪替氏网和CPN工具课程 可以从此处下载CPN工具: CPN书的主页可以在以下位置找到: : 阅读和准备 CPN模块基于以下列出的书籍章节和论文: 《彩色Petri网》一书的第1章和第2章: : CPN论文可通过以下: : 在有色Petri网的两个模块中,我们将使用CPN工具。 建议您在参加Petri Net课程之前先在PC上下载并安装该工具。 如果您在安装过程中遇到任何技术问题,请访问或联系讲师。 模块I-建模和CPN工具 第一个模块着重于彩色Petri网(CPN)建模语
  3. 所属分类:其它

    • 发布日期:2021-02-11
    • 文件大小:25mb
    • 提供者:weixin_42164931
  1. 基于CPN状态空间分析的复杂系统脆性度量

  2. 为进一步解决复杂系统脆性理论既有研究工具存在的系统状态定量描述困难、系统边界条件约束较多 等问题,将有色 Petri 网及其仿真工具 CPN Tools 引入到复杂系统脆性度量研究中。有色 Petri 网及 CPN Tools 内 置的查询工具、既有的高级状态空间计算方法都降低了复杂系统脆性度量中的问题复杂度。提出基于状态空间 分析的复杂系统脆性度量指标并给出编程实现流程。仿真算例表明状态空间内状态节点的脆性传递过程及其 影响范围能够间接反映系统脆性行为。
  3. 所属分类:其它

  1. 基于高级Petri网的仿真剧情正规校核方法

  2. 针对仿真剧情主观校核不理想这一问题,提出了基于高级Petri网的仿真剧情正规校核方法.首先给出仿真剧情的形式化定义, 并分析仿真剧情可能存在的错误类型;其次给出仿真剧情到高级Petri网的映射途径, 并给出基于高级Petri网的仿真剧情校核准则和算法,此外,还给出实现仿真剧情动态校核的推理规则和机制;最后给出了一个正规校核工具框架&实际应用已经证明了该方法的有效性.
  3. 所属分类:其它

    • 发布日期:2021-01-15
    • 文件大小:668kb
    • 提供者:weixin_38692184
  1. 基于Petri网的非线性多变量系统解耦控制

  2. 广义自控网系统是一类弧权值受库所控制的高级Petri网,能够简单有效地建模PID控制规律.借鉴单神经元PID控制原理,在广义自控网系统的基础上加入神经元网络的学习规则,设计基于广义自控网系统的PID控制器,并用于非线性多变量系统解耦控制.所提方法充分利用了自控网系统的特点,所设计的控制器模型能实现系统控制与参数学习的统一.结合双容水箱控制系统实例进行仿真分析,分析结果验证了所提方法的有效性.
  3. 所属分类:其它

    • 发布日期:2021-01-13
    • 文件大小:252kb
    • 提供者:weixin_38713057