InTech uses cookies to offer you the best online experience. By continuing to use our site, you agree to our Privacy Policy.

Computer and Information Science » Theory of Computation » "Petri Nets Applications", book edited by Pawel Pawlewski, ISBN 978-953-307-047-6, Published: February 1, 2010 under CC BY-NC-SA 3.0 license. © The Author(s).

Chapter 7

Transfer-Resource Graph and Petri-net for System-on-Chip Verification

By Xiaoxi Xu and Cheng-Chew Lim
DOI: 10.5772/7517