Normal Processes for Modeling the Desired Behavior of Distributed Autonomous Discrete Event Systems

In this paper, we formulate a class of language-based specifications for modeling the desired behavior of a system of distributed autonomous discrete event systems. We model system behavior using a formal language-based representation of a process. We identify singularity and congruence as inherent constraints on processes in such systems. We define normal processes to be those that are both singular and congruent, and show that normal processes are well-behaved. In particular, they possess a necessary characteristic for conversion into automaton-based models, i.e., they can be uniquely represented by a formal language.