Lars-Erik Jansen

Learn More
OBJECTIVES Medical decision support and other intelligent applications in the life sciences depend on increasing amounts of digital information. Knowledge bases as well as formal ontologies are being used to organize biomedical knowledge and data. However, these two kinds of artefacts are not always clearly distinguished. Whereas the popular RDF(S) standard(More)
We consider the area of train control systems like the European Train Control Systems ETCS where several diierent scenarios are considered and accordant software components must interoperate eeectively in order to achieve the desired system behaviour. In order to specify corresponding problems for ETCS high-level Petri net techniques have been identiied as(More)
  • 1