PNETS TPN_

PNETS reduce 是一个库，可以在保持网络某些属性的同时缩减 Petri 网络结构

• crates.io
• docs.rs

此 crate 提供了在 Petri 网上创建缩减的 API，并集成了论文《从缩减方程中计算 Petri 网标记》中描述的一些缩减。

此 crate 提供了在 Petri 网上创建缩减的 API，并集成了出版物《STTT》中描述的一些缩减。

此 crate 提供了两个模块

• 使用 modifications 进行修改管理；
• 使用 reducers 进行缩减算法管理。

modifications 模块收集了可以对网络进行的各种修改，同时保留某些属性。

reducers 模块提供了三个特性：Reduce、PlaceReduce 和 TransitionReduce，允许所有缩减算法具有一个公共接口。

还有一些通用的缩减算法，这使得处理缩减的链式和循环更容易：IdentityReducer、LoopReducer、SmartReducer 和 ChainReducer。

此库版本还提供了在 reductions::standard 模块中应用的针对标准 Petri 网的缩减。

使用方法

use pnets::standard::Net;
use pnets_shrunk::reducers::standard::SimpleChainReducer;

fn main() {
    // Load a standard Petri net from stdin
    let mut net = Net::from(pnets_tina::Parser::new(BufReader::new(io::stdin())).parse()?);
    
    // Application of the reduction
    let mut modifications = vec![];
    SimpleChainReducer::reduce(&mut net, &mut modifications);

    // Auto naming is needed to allow fill name for auto-created places
    net.auto_name();
    
    // Display modifications
    println!("{:?}", modifications);
    // Display new network on stdout
    ExporterBuilder::new(file)
        .build()
        .export(net)?;
}