IRCCyN, UMR CNRS 6597, 1 rue de la Noee -BP92101 44321 Nantes Cedex 3 -France;
scheduling; formal methods; time petri nets; realtime systems;
机译:用扩展Petri网分析时间有界的时间约束聚类工具的可调度性
机译:使用扩展间隔定时彩色Petri网的时间关键上下文感知服务建模与分析
机译:使用时间Petri网的实时系统的组成可调度性分析
机译:表达性和分析调度延长时间Petri网
机译:使用时间间隔陪替氏网络的基于设想的调度:表示,推理和学习。
机译:从时间序列数据重建扩展Petri网及其在信号转导和基因调控网络中的应用
机译:基于翻译的扩展时间petri网调度时间分析方法
机译:时间扩展的petri网