Petri nets; discrete event systems; formal specification; graph colouring; marine communication; routing protocols; telecommunication computing; wireless sensor networks; CVBF algorithm modelling; CVBF routing protocol; Petri nets language; UWSNs; average end-to-end delay; clustering vector-based forwarding routing protocol; coloured Petri nets; discrete-event systems; formal analysis; formal modelling; model checking; modelling languages; packet delivery ratio; performance evaluation; state space statistics analysis; underwater wireless sensor networks; Analytical models; Maintenance engineering; Routing; Routing protocols; System recovery; Tin; Coloured Petri Nets; modelling systems; routing protocols; underwater wireless sensor networks;
机译:使用遗传算法(GA)和彩色定时Petri网(CTPN)对通用生产调度系统的基于优化的调度生成器进行建模
机译:评估彩色有色Petri网模型的图形和算法结构
机译:用于高效建模逻辑或的新型高级Petri网:彩色AND / OR Petri网(CARPN)
机译:CVBF算法使用彩色Petri网的建模
机译:使用彩色Petri网自动进行Internet协议的安全性分析。
机译:使用彩色混合Petri网和模拟模型检查的空间群体感应建模
机译:评估分层彩色Petri网模型的图形和算法结构
机译:用有色petri网建模环境系统。