杨念华;于慧群;钱志林;孙华 基于随机Petri网的软件安全建模与定量预测。 (英语) Zbl 1245.68069号 数学。计算。建模 55,编号1-2,102-112(2012).MSC公司:68N99型 68问题85 60J28型 PDF格式BibTeX公司 XML格式引用 \textit{N.Yang}等人,数学。计算。55号模型,编号1--2,102-112(2012;Zbl 1245.68069) 全文: 内政部
纳维尔·加尔比;克劳德·杜泰利特;马利卡·尤瓦拉伦 用于多类再审系统建模和分析的有色随机Petri网。 (英语) Zbl 1165.90361号 数学。计算。建模 49,编号7-8,1436-1448(2009).MSC公司:90B15号机组 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Gharbi}等人,《数学》。计算。建模49,编号7--8,1436--1448(2009;Zbl 1165.90361) 全文: 内政部
杰里特·詹森。;肯尼思·索伦森;沃特·杜勒特 使用转移触发时间分布的不完全信息的随机标记图的循环时间的上界。 (英语) Zbl 1165.60347号 数学。计算。建模 49,编号3-4,563-572(2009).MSC公司:60公里30 05C90年 PDF格式BibTeX公司 XML格式引用 \textit{G.K.Janssens}等人,《数学》。计算。建模49,编号3--4,563--572(2009;Zbl 1165.60347) 全文: 内政部 链接
金,Q。;Y.Sugasawa。 用随机Petri网表示和分析多进程系统的行为。 (英语) Zbl 0836.60097号 数学。计算。建模 22,编号10-12,109-118(1995).MSC公司:60K20码 60K25码 90B22型 PDF格式BibTeX公司 XML格式引用 \textit{Q.Jin}和\textit{Y.Sugasawa},数学。计算。型号22,编号10--12,109-118(1995;Zbl 0836.60097) 全文: 内政部