A mobile ad hoc network is a wireless communication network which does not rely on a pre-
existing infrastructure or any centralized management. Securing the exchanges in such …

Petri nets augmented with time are interesting models which can be used for the modelling
and analysis of a wide range of concurrent discrete-event systems. In this paper, the nature …

Service-based systems that are dynamically composed at runtime to provide complex,
adaptive functionality are currently one of the main development paradigms in software …

Driven by the request for increased productivity, flexibility, and competitiveness, modern
civilization increasingly has created high-performance discrete event dynamic systems …

Any developer of discrete event systems knows that the most important quality of the final
system is that it be functionally correct by exhibiting certain functional, or qualitative …

The notion of process equivalence of probabilistic processes is sensitive to the exact
probabilities of transitions. Thus, a slight change in the transition probabilities will result in …

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 …

This interdisciplinary guide explores various types of modeling methods available for
dynamical systems. It begins with the general concepts, representations, and philosophy of …

System analysis is often needed with respect to both qualitative and quantitative aspects. In
recent decades, several formalisms have been developed that attempt to combine these …

Abstract Partial Labeled Markov Chains (plMc) generalize process algebra and traditional
Markov chains. They provide a foundation for interacting discrete probabilistic systems …