Login / Signup

A Verification Framework for Time-Triggered Networks Based on Timed Colored Petri Net.

Wenjie ZhongJiantao ZhouTao SunXiaoyu SongZonghui Li
Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2024)
Keyphrases
  • colored petri nets
  • petri net
  • main contribution
  • theoretical framework
  • database
  • decision trees
  • multi class
  • peer to peer