并发系统 资源专区

本专区汇聚了各类基于 并发系统 开发的源码资源,共计 3 篇资源供开发者免费下载学习。

共找到 3 个资源
Java 1 积分

BPStruct:非结构化并发系统结构化工具

BPStruct is a tool for transforming unstructured processes/programs/service compositions (

并发系统 结构化 软件工具
0 0 查看详情
Java 1 积分

Rakiura JFern:轻量级Petri网络模拟框架

Rakiura JFern是一个非常轻型的带有模拟器的Petri网络框架,用Java编写,为Java开发者而设计-Rakiura JFern is a very light wit

Petri网络 Java 模拟器
0 0 查看详情
C/C++/VC++ 1 积分

Petri网可达分析C++实现

Petri网可达分析算法, 吴哲辉教授编写的Petri网导论的第三章算法3.1的实现 使用C++编写

Petri网 可达分析 C++
0 0 查看详情