Circuits handles bridges and nets

Authors: Javier Esparza Manuel Silva

Publish Date: 1989/6/1

Volume: , Issue: , Pages: 210-242

PDF Link

Abstract

This paper introduces two new structural objects for the study of nets handles and bridges They are shown to provide sufficient although not necessary conditions of good behaviour for general ordinary nets as well as a new characterisation of structural liveness and structural boundedness for the subclass of Free Choice nets This characterisation is used to approach a modular synthesis theory of Free Choice nets through the synchronisation of State Machines The task is fully performed for the restricted subclass of Strict Free Choice nets introduced here

Keywords: