A New Approach to Prevent Deadlock in S3PR Nets with Unreplicable Resources. - Asaftei Timotei; José Manuel Colom (ICORES, 2013)

Enforcing Liveness in S3PR Nets by Specialization of Resources. - Asaftei Timotei; José Manuel Colom (ICORES, 2013)