机译:信息系统在Petri网的帮助下开发
机译:在模型驱动的系统开发过程中,使用系统建模语言与有色Petri网相结合的可执行系统架构
机译:有色Petri网与临界系统B方法的联合发展。
机译:使用C.ELEGANS VULVAL开发说明的彩色层次Petri网对生物系统进行建模和分析
机译:基于Petri网的系统方法作为制备和分析了动脉粥样硬化发展过程的综合生物系统的建模和分析方法
机译:基于结构化PETRI NET模型(性能,PETRI NET)的分布式系统软件设计分析
机译:使用模糊连续Petri网对动力学数据不确定的生物系统建模
机译:通过网络转换对基于Petri网的系统进行建模的新进展
机译:用Flexiblemanufacturing系统和petri网控制离散事件动态系统