*[[start|Home]]

  *[[research|Research]]
     *[[fuzzy_semantic_petri_nets|Fuzzy Semantic Petri]]
     *[[is_security_risk_assesment|IT Security Risk]]

  *[[papers|Publications]]

  *[[projects|Projects]]

  *[[ontologies|Ontologies]]

  *[[software|Software]]
    *[[archi_to_owl|Archimate to OWL]]
    *[[archi_to_nusmv|Archimate to nuSMV]]