Login / Signup

Validation environment of UML2 IOD based on hierarchical coloured Petri nets.

Miloud BennamaThouraya Bouabana-Tebibel
Published in: Int. J. Comput. Appl. Technol. (2013)
Keyphrases
  • coloured petri nets
  • real time
  • neural network
  • multi agent
  • mobile robot
  • formal verification
  • case study
  • dynamic environments
  • changing environment
  • environmental conditions
  • state machine