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

Xavier Renault Fabrice Kordon Jé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