机译:使用完善的递归Petri网的层次系统设计
机译:分层Petri网在制造系统控制软件设计与验证中的案例研究。
机译:递归Petri网理论及其在离散事件系统中的应用
机译:具有改进的网络重写系统的可重构制造系统的层次Petri网建模
机译:分层Petri网模拟器:用于分层/转换Petri网的仿真,设计验证和模型检查工具
机译:基于结构化PETRI NET模型(性能,PETRI NET)的分布式系统软件设计分析
机译:递归随机森林算法用于构建控制生物学途径的多层层次基因调控网络
机译:基于分层Petri网的微电网集群的负载平衡系统设计
机译:petri网和向量加法系统的可达性问题与活跃度问题的递推等价性,