Petri nets; audio signal processing; data handling; formal verification; interactive systems; multimedia systems; CPN modules; audio file appending; audio file reading; audio file reversing; coloured Petri nets; complex data handling; data processing modelling; execution model; fundamental signal processing functions; i-score; interactive multimedia scores; multimedia scenarios; Data models; Delays; Multimedia communication; Organizations; Petri nets; Reactive power; Streaming media; coloured petri nets; data processing; formal specification; interactive scores;
机译:不断发展的Internet标准的彩色Petri网建模:数据报拥塞控制协议
机译:用于建模和管理流程和项目的定时彩色Petri网
机译:集成集成定义语言0(IDEF)和有色Petri网(CPN)建模和仿真工具:模具制造过程的研究
机译:使用彩色Petri网对交互式分数进行数据处理建模
机译:异步数据传输协议,用于Internet上的非交互式数据处理。
机译:使用彩色混合Petri网和模拟模型检查的空间群体感应建模
机译:使用彩色Petri网对交互式分数进行数据处理建模
机译:用有色petri网建模环境系统。