Behavior Description for a System which consists of an Infinite Number of Processes