petri net编辑工具 比PIPE2更好用,更易学习
2023-03-08 19:42:14 28.29MB petri net编辑工具
1
Visual Object Net++一款入门级的模拟软件,用于Petri网建模仿真的软件,支持时间以及混杂网。
2023-02-18 17:16:39 651KB Visual Object Net++ Petri网
1
Petri网理论与系统模拟PDF版,转自超星数字图书馆,方便大家使用和学习了
2023-02-11 18:24:19 4.85MB Petri Petri网理论与系统模拟 pdf
1
针对现有的案件处理系统功能单一、效率低、缺乏并行处理和协调优化能力,无法满足现代案件处理需求的问题,基于改进Petri网的工作流技术,解析案件处理特征,对案件处理系统动态过程进行规划、调度和调整,在建模过程中引入Petri网分布式处理框架和工作流的路由结构、触发机制,建立了一种改进Petri的网工作流案件分布式处理系统模型,并对模型进行定义化描述和合理性验证,为司法部门案件处理提供高效、安全、可靠的平台。
1
能够对面向对象Petri网、高级Petri网及带时间的Petri网进行分析,简单实现。
2022-12-03 10:54:55 4.84MB petri网 petri net 分析工具
1
Petri网的定义 定义2.1 PN的结构是由4要元描述的一有向图: PNS=(P,T,I,O) 此处: (1)P={p1,…,pn}是库所的有限集合,n>0为库所的个数; (2)T={t1,…,tm}是变迁的有限集合,m>0为库所的个数; P∩T=⊙(空集) (3)I:P×T→N是输入函数,它定义了从P到T的有向弧的重复数或权(Weight)的集合,这里N={0,1…}为非负整数集; (4)O:T×P→N是输出函数,它定义了从T到P的有向弧的重复数或权的集合。
2022-11-30 20:07:26 421KB petri网
1
petri网基本知识,理论,定义,便于学习和理解。
2022-11-28 20:44:58 11.84MB 学习
1
鉴于传统合同网协议居高不下的通信量, 本文提出了智能合同网协议(ICP). 该协议对任务的发起者增加友好度因子, 对投标者加入信任度因子, 双方互相选择, 并及时动态更新友好度及信任度; 对每个动作添加时间因素, 用全局时钟控制整个模型; 为了降低通信量, 防止投标者无限制投标, 对投标者设定投标次数阈值; 并且对于没有中标的任务则设定流拍的次数. 根据历史投标记录, 智能调整各项参数. 本文利用颜色Petri网对ICP建模并仿真, 实验数据证明, ICP极大的降低了通信量, 缩短了运行时间, 提高了任务命中率.
2022-11-10 14:53:04 735KB 颜色Petri网 合同网协议 信任度
1
Petri Net编辑器 能够进行简单结构分析的极简Petri网络编辑器。 它可以在Petri网中找到电路,手柄和桥(如)。 您可以添加,删除和连接节点,添加令牌和触发转换,导出网络并以XML分解结果。 用鼠标左键移动节点,用右键选择。 自动网络布局基于。 免责声明 该应用程序于2015年被编写为大学项目。我不对其进行更新或维护。 建造 在Visual Studio中打开.sln文件,然后选择“构建-生成解决方案” 。 生成的.exe文件将在NetEditor/bin/Debug (或NetEditor/bin/Release )下生成。 屏幕截图
2022-11-02 14:42:40 1.05MB csharp graph-algorithms wpf petri-nets
1
:Stateflow是matlab环境下与simulink整合在一起的专门用来对复杂响应系统和事件驱动系统进行仿真的工具箱。应用 其对Petri网模型进行仿真,提出了一种对Petrl中资源的分类方法,根据petfi网中资源的流通方式将资源分为循环资源、非 循环资源.及隐性资源。并结合变迁的个数和激活方式给出了从一个已知的Petri网构造其相应的Stateflow的具体规则.及详 细步骤,最后结合某汽车冲压单元的建模进行举例说明。构造过程显示出文中提出的仿真方法具有使用简单、通用性强、扩 展性好的特点。
2022-10-12 15:12:34 290KB Petri网仿真
1