机译:使用有色Petri网验证使用有限状态自动通信进行通信的电信系统的验证
机译:使用通信时间Petri网的时间紧迫系统的组成验证
机译:基于超图划分的连续Petri网并行计算
机译:使用沟通Petri网实现单任务操作系统中的并行计算
机译:使用混合Petri网对自动并行停车系统进行建模和仿真。
机译:使用人工神经网络并行实现的时间序列预测系统中的软件设计挑战
机译:并行通信有限自动机系统(代数系统,形式语言和计算)
机译:通过有限petri网代表CCs(通信系统微积分)程序(重新公布TIB-B89-80679)