BOUNDEDNESS ANALYSIS OF FINITELY RECURSIVE PROCESSES - PART II - SEQUENTIAL AND HYBRID PROCESSES

Part I of this paper has shown that a subclass of the finitely recursi ve processes (FRP), composed without the sequential composition operat or (SCO), is bounded. In this sequel it is first shown that boundednes s is not guaranteed but decidable for the subclass of FRP built using the SCO, but without the parallel composition operator (PCO), To overc ome the limitation in modeling using the SCO only, some bounded hybrid subclasses have been proposed where both the SCO and PCO can be used, although in a restricted fashion, Finally, the proposed hybrid framew ork is used to model a job-shop, and its potential in the specificatio n and design of supervisory control systems is demonstrated.