Date: 11 Jun 2005

Top-down synthesis of live and bounded free choice nets

* Final gross prices may vary according to local VAT.

Get Access

Abstract

The paper provides a set of rules for the stepwise synthesis of all and only live and bounded Free Choice nets. The starting point are nets composed by a circuit containing one place and one transition.