%0 Journal Article
%T Formal Definition of Grid System Based on Petri Nets<br>基于Petri网的网格系统形式定义
%A YING Hong
%A WANG Zi-Quan
%A LIU Fu-Ming
%A YAN Pei
%A <br>应宏
%A 王自全
%A 刘福明
%A 鄢沛
%J 计算机科学
%D 2008
%I 
%X Petri net with strict mathematical definitions is capacity of describing distributed computing systems communications.By being analyzed the characteristics of grid system,highly abstract concept of grid system,the place and the transition of the grid system are constructed based on Petri net theory,the formal definition of the grid system is presented with colored Petri nets,and related concepts are discussed.
%K Grid
%K Colored Petri nets
%K Web services
%K Web service resource framework
%K Formal definition<br>网格
%K 有色Petri网
%K Web服务
%K Web服务资源框架
%K 形式定义
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=B3D1806D5FC1792E34FE4E8963DAAA28&yid=67289AFF6305E306&vid=6209D9E8050195F5&iid=0B39A22176CE99FB&sid=9FFCC7AF50CAEBF7&eid=6AC2A205FBB0EF23&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=7