机译:过程代数和Petri网的定时迁移
Faculty of Computer Science. A.I. Cuza University oflasi. 700483 lasi, Romania;
School of Computing Science. Newcastle University. Newcastle upon Tyne NEI 7RU. UK;
mobility; local clocks; process algebra; high level petri nets; syntax driven translation; behavioural equivalence;
机译:定时PETRI网络,LYAPUNOV方法和MAX-PLUS代数的并行计算机处理系统建模,稳定性分析和时间表设计
机译:基于定时事件Petri网和MAX-PLUS代数的直升机维修过程建模,分析和时间表设计
机译:WMN定时彩色Petri网的随机航点移动性模型的形式化和可执行性规范
机译:使用定时事件Petri网和max-plus代数的直升机维护过程时间表设计
机译:定时Petri网的状态空间的分布式生成。
机译:使用定时彩色培养网的Covid-19大流行病中心脏诊所患者工作流程的模拟与改进
机译:过程代数和Petri网的定时迁移
机译:进程代数和petri网中的定时移动性