Open access

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

Written By

Xiaoxi Xu and Cheng-Chew Lim

Published: 01 February 2010

DOI: 10.5772/7517

From the Edited Volume

Petri Nets Applications

Edited by Pawel Pawlewski

Chapter metrics overview

1,969 Chapter Downloads

View Full Metrics

Written By

Xiaoxi Xu and Cheng-Chew Lim

Published: 01 February 2010