The University of Alabama in Huntsville.;
机译:有色Petri网:用于并行系统形式化建模和验证的图形语言
机译:基于Petri网的电子商务业务流程建模与验证
机译:有色Petri网的动态主机配置协议的建模与验证。
机译:Petri网与玩家,策略和成本:用于模拟网络角质的形式主义
机译:基于结构化PETRI NET模型(性能,PETRI NET)的分布式系统软件设计分析
机译:Wnt /β-Catenin信号传导Petri网模型的构建与实验验证
机译:一种分层彩色Petri基于基于网络的网络攻击响应策略,用于关键基础设施的方法
机译:动态petri网:分布式传感器网络拓扑的一种新的建模技术;会议论文