Department of Computer Science, University of Aarhus IT-parken, Aabogade 34, DK-8200 Aarhus N, Denmark;
机译:有色Petri网调度模型:时间状态空间探索短缺
机译:重新研究定时着色Petri网模型的状态空间,以优化制造系统的性能
机译:借助彩色Petri网对分布式系统消息序列图进行分析和验证
机译:彩色培养网分布式状态空间探索的方法
机译:使用彩色Petri网自动进行Internet协议的安全性分析。
机译:使用定时彩色培养网的Covid-19大流行病中心脏诊所患者工作流程的模拟与改进
机译:有色Petri网的分布式状态空间探索方法。