MARCIE is a tool for the analysis of generalized stochastic Petri nets which can be
augmented by rewards. The supported analysis methods range from qualitative and …

Abstract The Model Checking Contest (MCC) is an annual competition of software tools for
model checking. Tools must process an increasing benchmark gathered from the whole …

Abstract The International Standard on Petri nets, ISO/IEC 15909, provides a formal
semantics and syntax to enable model interchange and industrial dissemination. Part 2 …

Process mining represents an important field in BPM and data mining research. Recently, it
has gained importance also for practitioners: more and more companies are creating …

Business process modeling has become a standard activity in many organizations. We start
with going back into the history and explain why this activity appeared and became of such …

Abstract Model-driven engineering (MDE) is a software engineering paradigm that proposes
an active use of models during the development process. This paradigm is inherently type …

This paper introduces an Open Modelling approach for Availability and Reliability of
Systems (OpenMARS), which is developed for risk and performance assessment of large …

Model-based development approaches can provide a major contribution in the development
of globally asynchronous locally synchronous distributed embedded systems (GALS-DES) if …

Within the engineering of control code, model-based approaches become more and more
important. Basically GRAFCET serves as a suitable modeling language but lacks an …

Petri nets have been widely used in the design of embedded controllers, namely in
electronic hardware and computing platforms design, as well as within automation …