Login / Signup
Specification and analysis of n-way key recovery system by Extended Cryptographic Timed Petri Net.
Shin-Young Lim
Jeong-Ho Ko
Eun-Ah Jun
Gang-Soo Lee
Published in:
J. Syst. Softw. (2001)
Keyphrases
</>
petri net
colored petri nets
manufacturing systems
discrete event systems
petri net model
high level petri nets
expert systems
dynamic systems
service composition
sequence diagrams
neural network
genetic algorithm
web service composition
reactive systems