Sign in

From AADL Architectural Models to Petri Nets: Checking Model Viability.

Xavier RenaultFabrice KordonJérôme Hugues
Published in: ISORC (2009)
Keyphrases
  • petri net
  • petri net model
  • process model
  • rough sets
  • databases
  • colored petri nets
  • decision making
  • metadata
  • high level
  • expert systems
  • object oriented
  • metamodel
  • manufacturing systems