Discrete Event System Specification (DEVS) is a popular formalism for modeling complex
dynamic systems using a discrete-event abstraction. At this abstraction level, a timed …

Recently, the ontological metamodel plays an increasingly important role to specify systems
in two forms: ontology and metamodel. Ontology is a descriptive model representing reality …

Domain-specific modeling languages allow a clear separation between simulation model
and simulator and, thus, facilitate the development of simulation models and add to the …

The operation of non-public railway transport of mining enterprises is characterized by a
large number of operational indicators: the number of locomotive and car fleets …

Engineering workflow models are frequently used to optimize an engineering endeavor for
some well-defined performance metrics, such as time-to-market or monetary costs. Static …

Succinct, declarative, and domain-specific modeling languages have many advantages
when creating simulation models. However, it is often challenging to efficiently execute …

The Discrete Event System Specification (DEVS) formalism provides a set of mathematical
elements for modeling time-varying systems. However, when DEVS models are …

DEVS is a popular formalism to model system behaviour using a discrete-event abstraction.
The main advantages of DEVS are its rigourous and precise specification, as well as its …

The Discrete-Event System Specification (DEVS) formalism is a modeling formalism based
on systems theory that provides a general methodology for hierarchical construction of …

The lack of information regarding the systemic behavior of new software and hardware
before introducing them for controlling and operating power networks consists of a major …