Login / Signup

Analysing a Mechatronic System with Coloured Petri Nets.

Gilles MonceletSøren ChristensenHamid DemmouMario PaludettoJosé Porras
Published in: Int. J. Softw. Tools Technol. Transf. (1998)
Keyphrases
  • coloured petri nets
  • formal verification
  • evolutionary algorithm
  • vision system
  • dynamic environments