机译:使用彩色Petri网的基于组件的软件系统的早期可靠性评估
机译:基于排队Petri网的分布式组件系统性能建模与评估
机译:动态发展的并发信息系统规范和验证:基于组件的Petri网建议
机译:将基于组件的软件体系结构模型自动转换为排队Petri网
机译:基于结构化PETRI NET模型(性能,PETRI NET)的分布式系统软件设计分析
机译:在无线传感器网络中高效的入侵检测系统开发中集成软件工程流程
机译:petri网和软件工程国际研讨会论文集(pNsE'15):包括自适应离散事件控制系统petri网国际研讨会(aDECs 2015)