Nick Savoiu. MTP: A Petri Net-Based Framework for the Analysis and Transformation of SystemC Designs. In Krishna M. Kavi, Ron Cytron, editors, Proceedings of the 9th International Workshop on Software and Compilers for Embedded Systems, Dallas, Texas, USA, September 29 - October 1, 2005. Volume 136 of ACM International Conference Proceeding Series, pages 99-108, 2005. [doi]