This paper shows how to generate a finite-vertex graph, called a reachability graph for
discrete-event system specification (DEVS) network. The reachability graph is isomorphic to …

A Reachable Graph of Finite and Deterministic DEVS Networks Page 1 A Reachable Graph of
Finite and Deterministic DEVS Networks Moon Ho Hwang and Bernard P. Zeigler Arizona …

Taxonomy of DEVS Subclasses for Standardization Page 1 Taxonomy of DEVS Subclasses for
Standardization Moon Ho Hwang ACIMS University of Arizona Tucson, AZ 48326, USA April 6 …

This paper clarifies the class hierarchy among DEVS and its variants in terms of their
expressiveness. Like [4], the expressiveness of a given formalism is the scope of event …

The modelling and analysis of multi-component discrete event systems is a challenging
research area. Over 30 years, modelling and simulation research of discrete event system …

This paper introduces a method of the quantitative verification of a reconfigurable
manufacturing system (RMS) by using a class of DEVS, called schedule-controllable DEVS …