Structure and behavior preservation by Petri-net-based refinements in system design.

Hejiao HuangTo-Yat CheungWai Ming Mak
Published in: Theor. Comput. Sci. (2004)
Keyphrases
  • computer aided
  • learning algorithm
  • real time
  • design process
  • structural properties
  • dynamic behavior
  • data sets
  • real world
  • data mining
  • three dimensional
  • long term
  • software architecture
  • structural information