BRICS Department of Computer Science, Aalborg University, Fredrik Bajersvej 7B, 9220 Aalborg East Denmark;
机译:保留TCTL的功能,从定时弧Petri网到定时自动机网络的转换
机译:从时间Petri网到定时自动机网络的并发保留转换
机译:定时弧培养网中的强大行为相似之处
机译:定时 - 弧Petri网与定时自动机网络
机译:通过模糊定时Petri网对网络实时系统进行建模和分析。
机译:从时间序列数据重建扩展Petri网及其在信号转导和基因调控网络中的应用
机译:时间弧petri网到定时自动机网络的有效转换
机译:定时弧petri网的代数