SAT-Solving the Coverability Problem for Petri Nets Parosh Aziz AbdullaS. Purushothaman IyerAletta Nylén OriginalPaper Pages: 25 - 43
A Constructive Approach to Hardware/Software Partitioning Leila SilvaAugusto SampaioEdna Barros OriginalPaper Pages: 45 - 90