用于检测数据库一致性的Petri网模型

机译：使用层次彩色Petri网的分布式系统弱的一致性模型

机译：信号转导途径Petri网模型中延迟时间一致性确认方法的提议

机译：CEM / T网，用于Petri网建模的高级Petri网

机译：具有连续死锁检测的事务数据库系统性能分析的Petri网模型

机译：在检测和建模一致性中使用Petri网

机译：MONALISA用于生化系统Petri网模型的随机模拟

机译：petri网中EKD业务流程模型映射petri网中EKD业务流程模型的映射

机译：基于petri网展开和saT的模型检测中最短违规痕迹的计算

机译：程序，列车服务适应Petri网模型生成设备，列车威慑安排支持设备，列车服务适应Petri网模型生成方法和列车威慑安排支持方法

机译：利用Petri网模型进行欺诈检测中事件模式序列的认知方法。

机译：分布式平行处理定时彩色Petri网仿真模型的方法