Explicit model-checking; Model compilation; LLVM; SOS;
机译:高级Petri网中控制和数据流的分离:将双流网转换为对象Petri网
机译:Petri网和并发的应用与理论:Petri网的特别问题2018
机译:Petri Nets的应用和理论以及其他并发模型:Petri Nets 2017精选论文的特刊
机译:获得认证的Petri Net模型检查器
机译:基于结构化PETRI NET模型(性能,PETRI NET)的分布式系统软件设计分析
机译:模拟拟南芥的代谢:网络分解和网络还原在Petri网中的应用
机译:迈向认证的Petri网模型检查器