2 个版本
0.1.2 | 2024年3月9日 |
---|---|
0.1.1 | 2024年3月3日 |
0.1.0 |
|
#59 in #declarative
32 每月下载量
42KB
902 行
metamodel
使用Rust DSL声明的Petri网。
lib.rs
:
Metamodel - 一个用于抽象状态机建模的Rust库
- 提供一个由DSL驱动的框架,用于建模和模拟Petri网、wf网和DFAs。
- 状态机数据类型作为向量加法状态机 (VASM)执行。
- 数据模型可以使用https://pflow-dev.github.io/pflow-js/p/在浏览器中查看/共享
依赖项
~9.5MB
~318K SLoC