Login / Signup
Design, Analysis and Verification of Real-Time Systems Based on Time Petri Net Refinement.
Zhijun Ding
Changjun Jiang
Mengchu 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