本文主要介绍业务流程管理的基本概念、相关技术，以及讨论形式化方法/语言对业务流程管理的作用（例Petri 网，过程代数等）。
2022-01-07 12:00:24
282KB
1
petri网是一种适合于描述异步并发现象的系统模型，它既有严格的数学定义，又有直观的图形表示，既有丰富的系统描述手段和系统行为分析技术，又为计算机科学提供坚实的概念基础。
2022-01-07 11:55:49
14.04MB
1
Ubuntu/Debian 安装指南：
为了解决问题
“导入错误：无法导入名称 _compare_digest”
请安装python 2.7.9：
$ wget https://www.python.org/ftp/python/2.7.9/Python-2.7.9.tar.xz
$ tar xf Python-2.7.9.tar.xz
$ cd Python-2.7.9
$ mkdir ~ /.localpython
$ ./configure --prefix=/home/ /.localpython
$ make
$ make install
创建虚拟环境并安装要求：
$ mkvirtualenv -p ~ /.localpython/bin/python2.7 petri_net --no-site-packages
$ workon petri_net
2021-12-30 20:34:33
1.07MB
1
Petri网的特点
Petri网系统与其他一些系统模型在本质上存在不同，具有自身鲜明的特点。
1、模型语义规范，表达能力强。Petri网兼顾了严格语义和图形语言两个方面：经典Petri网以及高级网的所有元素都是经过严格定义，具有规范的模型语义。Petri网具有足够丰富的表达能力，完全支持现实中基本的过程逻辑(如图所示)。
2、模型基于状态，形式直观。许多建模的方法(如GRASP、PERT)均是基于事件的，缺乏对系统状态的明确体现。而Petri网是一种基于状态的建模方法，它明确定义了模型元素的状态，并且其演进过程也受状态驱动，从而不但严格区分了活动的授权和活动的执行，而且使过程定义具有更丰富的表达能力；能够动态地修改过程实例，使建模过程具有了更多的柔性特征。
2021-12-27 11:21:58
421KB
1
基于CPN的汽车车身控制系统建模，韩江洪，刘小平，汽车数据总线技术正在成为汽车电子技术发展的一个重要方向，而基于总线技术的汽车车身控制系统更已成为当前的一个研究热点。先从
2021-12-16 18:03:48
411KB
1
为保证铁路联锁模型的安全性，在故障分析法的基础上提出一种新的用Petri网来建立故障树的方法，动态地描述铁路联锁系统的安全性需求，并根据Petri网安全需求模型的可达标志图，提出一种能自动生成最小割集的算法。根据算法生成的最小割集，设计了一个联锁安全检测器，用于检测和控制联锁系统模型处于安全状态。最后用CPN工具对所建立的联锁系统模型进行仿真，仿真结果表明联锁安全检测器能够保证模型的安全性。
2021-12-15 19:56:22
757KB
1