Loading [a11y]/accessibility-menu.js
Petri nets based design for reconfigurable computing systems | IEEE Conference Publication | IEEE Xplore

Petri nets based design for reconfigurable computing systems


Abstract:

Reconfigurable computing is a new computing paradigm and acts as an efficient approach for intensive computing applications. But designing reconfigurable computing system...Show More

Abstract:

Reconfigurable computing is a new computing paradigm and acts as an efficient approach for intensive computing applications. But designing reconfigurable computing system is still a great challenge because its architecture is quite different from traditional computers. Formal methods are usually regarded as a competent candidate to model such system at the early design phase. Thus an object oriented Petri net is proposed to model reconfigurable computing systems in this paper. The formal definitions of object oriented Petri net are presented in details. Subnet is adopted to indicate the instance of objective. The basic rules of subnet partition are discussed as well. And techniques of mapping objects to reconfigurable platform are discussed. The features of the mentioned object oriented Petri net for designing reconfigurable systems are summarized finally.
Date of Conference: 19-21 August 2014
Date Added to IEEE Xplore: 06 December 2014
ISBN Information:

ISSN Information:

Conference Location: Xiamen, China

Contact IEEE to Subscribe

References

References is not available for this document.