Scheduling in Distributed Computing Systems: Analysis, Design and Models intends to
inculcate the innovative ideas for the scheduling aspect. Although the models in this book …

This paper will discuss the current uses and application perspectives of Petri Nets (PNs) in
the fields of risk analysis and accident modelling. Severe time and combinatory limitations …

Petri nets are a well-known graphical and modeling tool for concurrent and distributed
systems, and there have been many results on the theory, and also on practical applications …

Although model checking is heavily used in the hardware domain, it did not take off in
software engineering yet. One of the possible reasons is that software models are very …

The goal of this article is to provide a rigorous conceptual framework for defining the
concepts of dependability and resilience. Since the seventies, the terms dependability and …

The advent of multi-agent systems has brought us opportunities for the development of
complex software that will serve as the infrastructure for advanced distributed applications …

AlPiNA is a symbolic model checker for High Level Petri nets. It is comprised of two
independent modules: a GUI plugin for Eclipse and an underlying model checking engine …

CO-OPN (Concurrent Object Oriented Petri Net) is a formal specification language for
modelling distributed systems; it is based on coordinated algebraic Petri nets. We describe a …

The model-driven architecture approach (MDA) promotes software development as driven
by a thorough modeling phase where application code is automatically generated from a …

In order realistically and cost-effectively to realize the ATM (Air Traffic Management) 2000+
Strategy, systems from different suppliers will be interconnected to form a complete …