The Guideline Interchange Format (GLIF) is a model for representation of sharable computer-
interpretable guidelines. The current version of GLIF (GLIF3) is a substantial update and …

Informatics infrastructure plays a crucial role in supporting different decision making
activities related to pharmaceutical product development, pilot plant and commercial scale …

Developing pharmaceutical product formulation in a timely manner and ensuring quality is a
complex process that requires a systematic, science-based approach. Information from …

Japan is no exception among developed countries facing healthcare system problems due
to aging and low birthrate as the number of possible patients increases and health care …

We consider nested nets, ie Petri nets in which tokens can be Petri nets themselves. We
study the value semantics of nested nets rather than the reference semantics, and apply …

The challenges of managing the information and knowledge involved in pharmaceutical
product development in a systematic and reusable, yet user-friendly, manner are very real …

Real-world processes often undergo improvements to meet certain goals, such as coping
with changed requirements, eliminating defects, improving the quality of the products, and …

Background: A rule-based system, the Braden Scale based Automated Risk Assessment
Tool (BART), was developed to assess risk for pressure ulcer in a previous study. However …

In this thesis we focus on improving current modeling and verification techniques for
complex business processes. The objective of the thesis is to consider several aspects of …

Verteilte dynamische Systeme unter lokalen und globalen Gesichtspunkten zu optimieren ist
eine schwierige Aufgabe. Zwar sind grundsätzliche Auswirkungen einzelner Maßnahmen …