Login / Signup

Applications of Coloured Petri Nets for Functional Validation of Protocol Designs.

Lars Michael KristensenKent Inge Fagerland Simonsen
Published in: Trans. Petri Nets Other Model. Concurr. (2013)
Keyphrases
  • coloured petri nets
  • formal verification
  • functional analysis
  • real time
  • neural network
  • digital libraries
  • low cost