%0 Journal Article
%T Modeling and Analysis of Internetware Based on PTCPN<br>基于PTCPN的网构软件建模与分析
%A ZHOU Hang
%A HUANG Zhi-Qiu
%A ZHANG Guang-Quan
%A ZHU Yi
%A HU Jun
%A <br>周 航
%A 黄志球
%A 张广泉
%A 祝 义
%A 胡 军
%J 软件学报
%D 2010
%I 
%X Time Petri net can analyze internetware performance, but it cannot analyze internetware changing price. To further satisfy the flexible modelling and the changing price analysis demands of inernetwares, this paper defines a price time colored Petri net (PTCPN) which provides an extension in the changing price information and color information for the time Petri net. This paper redefines the semantic aspect of price time colored Petri net in terms of priced timed transition systems. A cumulate price state class is defined, and its soundness and completeness are discussed. An approach is proposed to formalize internetware polymorphism and internetware control structures based on the price time colored Petri net. Finally, the approach availability is verified with an example. The results show that it is feasible to applying price time colored Petri net to the formal modeling and the analysis of internetware.
%K Internetware
%K Petri net
%K price
%K timed transition system
%K polymorphism<br>网构软件
%K Petri网
%K 代价
%K 时间变迁系统
%K 多态性
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=F1D3248B3FAB449F17324ABAF0AD4DA2&yid=140ECF96957D60B2&vid=659D3B06EBF534A7&iid=B31275AF3241DB2D&sid=15F677B6C13C071A&eid=A1CD1DC26CC35415&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=30