Enforcing Liveness in S3PR Nets by Specialization of Resources.

Asaftei Timotei, Jos Manuel Colom

Browse the full ICORES paper archive.