Flutter网络或通信插件pnet_dart的使用

pnet_dart

pnet_dart 是一个用于 Dart 的库，它通过 Flutter 的构建系统包装了 C/C++ 库 libpnet。该包提供了对 Petri 网（Petri Net）的支持，允许用户定义 Petri 网、设置输入和输出，并能够保存和读取到文件。

此实现支持创建高级时间 Petri 网，包括加权弧、抑制弧和重置弧，以及输入事件和输出。

目录

• pnet_dart
• TOC
• Usage
  • Arguments
    • Weighted arcs
    • Inhibit arcs
    • Reset arcs
    • Input events
    • Delay
    • Outputs
    • Callback
  • Error handling
• TODO
  • Path and variables in dylib

Usage

初始化 Petri 网

以下是一个完整的示例代码，展示如何初始化和使用 pnet_dart：

import 'package:flutter/material.dart';
import 'package:pnet_dart/pnet_dart.dart';

void main() {
  runApp(const MyApp());
}

class MyApp extends StatefulWidget {
  const MyApp({super.key});

  @override
  State<MyApp> createState() => _MyAppState();
}

class _MyAppState extends State<MyApp> {
  String _message = "Initializing...";
  String _lasterror = "";
  Pnet? _pnet;

  @override
  void initState() {
    super.initState();
    try {
      // 初始化 Petri 网
      _pnet = Pnet(
        negArcsMap: [
          [-1, 0, 0], // 负向加权弧
          [0, -1, 0],
          [0, 0, -1],
        ],
        posArcsMap: [
          [0, 0, 1], // 正向加权弧
          [1, 0, 0],
          [0, 1, 0],
        ],
        placesInit: [1, 0, 0], // 初始令牌
        transitionsDelay: [3000, 0, 0], // 延迟（毫秒）
        callback: (p0, transition) {
          setState(() {
            if (_pnet != null) {
              var p = _pnet!.places;
              _message = "Places: $p. Last transition: $transition";
            }
          });
        },
      );

      var p = _pnet!.places;
      _message = "Places: $p";
    } catch (e) {
      _message = e.toString();
    }
  }

  @override
  Widget build(BuildContext context) {
    return MaterialApp(
      home: Scaffold(
        appBar: AppBar(
          title: const Text('Pnet Example'),
        ),
        body: Center(
          child: Align(
            alignment: Alignment.center,
            child: Column(
              mainAxisAlignment: MainAxisAlignment.center,
              children: [
                TextButton(
                  onPressed: () {
                    var code = _pnet?.fire(); // 触发 Petri 网
                    _lasterror = code.toString();
                  },
                  child: const Text(
                    "Fire pnet!",
                    style: TextStyle(color: Colors.blueAccent, fontSize: 30),
                  ),
                ),
                Text(
                  _message,
                  style: const TextStyle(color: Colors.white, fontSize: 30),
                ),
                Text(
                  _lasterror,
                  style: const TextStyle(color: Colors.red, fontSize: 30),
                ),
              ],
            ),
          ),
        ),
        backgroundColor: const Color(0xFF292828),
      ),
    );
  }
}

参数详解

Weighted arcs（加权弧）

加权弧定义了某些过渡所消耗和生成的令牌数量。它们以矩阵形式表示，矩阵形状如下：

posArcsMap: [
  [-1, 0],
  [0, 0],
  [0, 0]
],
negArcsMap: [
  [0, 0],
  [1, 0],
  [0, 1]
],

• 第一个矩阵表示正向权重，第二个矩阵表示负向权重。
• 列代表过渡，行代表位置。

Inhibit arcs（抑制弧）

抑制弧定义了当指定位置没有令牌时触发过渡的条件。矩阵值只能为 1 或 0：

inhibitArcsMap: [
  [0, 1],
  [0, 0],
  [0, 0]
]

Reset arcs（重置弧）

重置弧表示在触发特定过渡时将某个位置的令牌数量重置为 0：

resetArcsMap: [
  [0, 0],
  [0, 1],
  [0, 0]
]

Input events（输入事件）

输入事件可以通过 Pnet.fire() 传递，并根据 inputsMap 中的设置来控制过渡的触发：

inputsMap: [
  [PnetEvt.none, PnetEvt.posEdge],
  [PnetEvt.none, PnetEvt.none]
]

Delay（延迟）

可以通过 transitionsDelay 设置过渡的延迟时间（毫秒）：

transitionsDelay: [
  [500, 0]
]

Outputs（输出）

输出以矩阵形式表示，值只能为 1 或 0：

outputsMap: [
  [1, 0, 0],
  [0, 1, 0],
  [0, 0, 1]
]

Callback（回调）

当使用定时过渡时，必须提供一个 PnetCallback 类型的回调函数。它将在延迟执行后被调用：

void cb(cbData? data, int transition) {
  // 您的代码
}

Error handling（错误处理）

所有方法调用都会抛出 PnetException 类型的错误，某些函数如 Pnet.fire 会返回 PnetError 枚举值的错误。如果需要错误信息，只需调用 .toString() 方法：

try {
  var code = _pnet?.fire();
  _lasterror = code.toString();
} catch (e) {
  _lasterror = e.toString();
}

TODO

Path and variables in dylib（动态库中的路径和变量）

在 dylib.dart 文件中，需要设置环境变量和路径以正确加载动态库。例如：

// 设置环境变量
const LIBSERIALPORT_PATH = '/path/to/libserialport';