Login / Signup

Liveness Analysis of ω-Independent Petri Nets Based on New Modified Reachability Trees.

Ru YangZhijun DingMeiqin PanChangjun JiangMengChu Zhou
Published in: IEEE Trans. Syst. Man Cybern. Syst. (2017)
Keyphrases
  • petri net
  • colored petri nets
  • petri net model
  • manufacturing systems
  • discrete event systems
  • data analysis
  • artificial intelligence
  • high level petri nets