BRICS, Dept. of Computer Science, University of Aarhus;
机译:保留TCTL的功能,从定时弧Petri网到定时自动机网络的转换
机译:定时弧培养网中的强大行为相似之处
机译:消除定时弧Petri网中的死转变
机译:分布式定时弧培养网的特性
机译:基于结构化PETRI NET模型(性能,PETRI NET)的分布式系统软件设计分析
机译:使用Petri网工具研究生物系统的特性和动力学
机译:分布式定时弧Petri网的性质
机译:定时弧petri网的代数