We address the issue of compressing and indexing data. We devise a data structure whose
space occupancy is a function of the entropy of the underlying data set. We call the data …

It is certainly worth remarking on half a century of a work defining a landmark in Discrete
Event Dynamic Systems (DEDS) theory. This invited contribution aims to combine some …

The motivation behind the conception of this monograph was to advance scientific
knowledge about the design and control of workflow processes. A workflow pr-ess (or …

Test und Validierung spielen bei Echtzeitsystemen eine zentrale Rolle: Auf die
Spezifikationen, die der Hersteller angibt, muss sich der Kunde hier in besonders hohem …

This paper presents a Petri net approach to modeling, analysis, simulation, scheduling, and
control of semiconductor manufacturing systems. These systems can be characterized as …

Over the past few years increasing research effort has been directed towards the automatic
verification of infinite-state systems. This paper is concerned with identifying general …

The increasing relevance of areas such as real-time and embedded systems, pervasive
computing, hybrid systems control, and biological and social systems modeling is bringing a …

Software processes are long-lived entities. Careful design and thorough validation of
software process models are necessary to ensure the quality of the process. They do not …

Computer system reliability is conventionally modeled and analyzed using techniques such
as fault tree analysis and reliability block diagrams (RBDs), which provide static …

The behavior of many technical systems that are increasingly important in our every-day life
can be described by discrete states and state-changing events. Discrete event systems …