MTP: A Petri Net-Based Framework for the Analysis and Transformation of SystemC Designs.

Nick Savoiu

Browse the full SCOPES paper archive.