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]
@inproceedings{Savoiu05,
title = {MTP: A Petri Net-Based Framework for the Analysis and Transformation of SystemC Designs},
author = {Nick Savoiu},
year = {2005},
doi = {10.1145/1140389.1140400},
url = {http://doi.acm.org/10.1145/1140389.1140400},
tags = {rule-based, analysis, transformation},
researchr = {https://researchr.org/publication/Savoiu05},
cites = {0},
citedby = {0},
pages = {99-108},
booktitle = {Proceedings of the 9th International Workshop on Software and Compilers for Embedded Systems, Dallas, Texas, USA, September 29 - October 1, 2005},
editor = {Krishna M. Kavi and Ron Cytron},
volume = {136},
series = {ACM International Conference Proceeding Series},
}