Login / Signup

Design, Analysis and Verification of Real-Time Systems Based on Time Petri Net Refinement.

Zhijun DingChangjun JiangMengchu Zhou
Published in: ACM Trans. Embed. Comput. Syst. (2013)
Keyphrases
  • petri net
  • real time systems
  • colored petri nets
  • petri net model
  • real time
  • decision making
  • data analysis
  • embedded systems
  • architectural model
  • web services
  • low cost
  • model checking
  • manufacturing systems