The Logic of Systems

Abstract

We present a theory about the logical relationships associated with system behavior. The rules governing the behavior of a system are expressed by a Petri net. A set of assumptions about the modeling of a system permit us to separate system behavior into two components, what we refer to as information and control.