• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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