注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. PetriNets-CLIM-Demo:使用CLIM（Common Lisp Interface Manager）GUI用Common Lisp编写的简单Petri Net编辑器和模拟器-源码

  2. PetriNets-CLIM-Demo 使用CLIM（Common Lisp接口管理器）为GUI用Common Lisp编写的简单Petri Net编辑器和模拟器。 这是在2003年撰写的，由作者向汉堡大学的CS学生的一个。 在本讲座中，使用作为运行示例。 它仍然可以使用CLIM的Motif端口在Ubuntu / Linux下使用LispWorks 6.1和CLIM进行编译。

  3. 所属分类：其它

    • 发布日期：2021-03-08
    • 文件大小：1048576
    • 提供者：weixin_42128393

  1. 揭秘jbpm流程引擎内核设计思想及构架

  2. 火龙果软件工程技术中心  　1前言　2阅读本篇的基础准备　　2.1概念的基础　　2.2环境的基础　3什么是流程引擎内核？　4引擎内核所关注的四个主要问题　　4.1模型与定义对象　　4.2调度机制与算法　　4.3执行机制与状态　　4.4实例对象与执行环境　5jbpm，“精简”的开源流程引擎　6jBpm流程模型与定义对象　　6.1首先解决如何形式化描述一个流程的问题　　6.2抽象的节点（Node）和转移（Transition）　　6.3流程：节点与转移的组合　　6.4节点的类型和扩展　7jBpm的过

  3. 所属分类：其它

    • 发布日期：2021-03-03
    • 文件大小：354304
    • 提供者：weixin_38696582

  1. Petrinets：可视化和分析Petrinets的应用程序-源码

  2. Petrinet申请 用Java编程语言开发的应用程序是一种工具，通过它可以显示给定的Petri网，并且可以将用于计算某些特征的算法应用于该工具。 该程序提供了从PNML-Files加载Petri网，相应地拾取数据结构并使它们在图形用户界面中可用的可能性。 加载的Petri网可由用户根据用户界面进行编辑。 同样，可以动态切换转换，以检查网络的动态。 Petri网的核心属性（有界性）可以通过图形方式进行，也可以作为大量网的文本批处理来执行。 该程序基于库，该库用于显示Petri网及其关联的（部分

  3. 所属分类：其它

    • 发布日期：2021-02-20
    • 文件大小：822272
    • 提供者：weixin_42131316

  1. Petri Net-Based Methods for Analyzing Structural Security in E-Commerce Business Processes

  2. Petri Net-Based Methods for Analyzing Structural Security in E-Commerce Business Processes

  3. 所属分类：其它

    • 发布日期：2021-02-11
    • 文件大小：710656
    • 提供者：weixin_38503233

  1. 揭秘jbpm流程引擎内核设计思想及构架

  2. 火龙果软件工程技术中心  　1前言　2阅读本篇的基础准备　　2.1概念的基础　　2.2环境的基础　3什么是流程引擎内核？　4引擎内核所关注的四个主要问题　　4.1模型与定义对象　　4.2调度机制与算法　　4.3执行机制与状态　　4.4实例对象与执行环境　5jbpm，“精简”的开源流程引擎　6jBpm流程模型与定义对象　　6.1首先解决如何形式化描述一个流程的问题　　6.2抽象的节点（Node）和转移（Transition）　　6.3流程：节点与转移的组合　　6.4节点的类型和扩展　7jBpm的过

  3. 所属分类：其它

    • 发布日期：2021-02-04
    • 文件大小：354304
    • 提供者：weixin_38699724
« 1 2»