期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

基于CPN Tools的网上购物系统建模及合理性分析 被引量：3

Online Shopping System Modeling and its Soundness Analysis Based on CPN Tools
下载PDF
导出
摘要 提出了一种对网上购物系统建立模型的基于着色Petri网的方法.该方法运用了CPNTools分层的特性及替代变迁,克服了建立的CPN模型大而复杂的不足.最后为了确保模型的正常运行,利用CPN Tools提供的状态空间工具来验证订单处理的CPN模型的合理性. An approach of online shopping system modeling based on Coloured Petri Net is proposed in the article. The hierarchical structure and subsitufion transition being used in tthe approach, the approach avoids large graph and complexity of CPN Tools＇ modeling. Finally the order process CPN model is utilized to verify system＇s rationality based on the state space tools of CPN Tools.
作者 彭洁 李淑芝 杨书新
机构地区 江西理工大学应用科学学院 江西理工大学信息工程学院
出处 《江西理工大学学报》 CAS 2011年第5期49-52,共4页 Journal of Jiangxi University of Science and Technology
基金 江西省自然科学基金资助项目(2009GZS0043) 江西省教育厅科研资助项目(GJJ09247)
关键词 网上购物 着色PETRI网 替代变迁 状态空间 online shopping coloured Petri Net substitution transition state space
分类号 TP399 [自动化与计算机技术—计算机应用技术]
  • 相关文献

参考文献7

二级参考文献22

  • 1易发.两级维修系统备件库存量的最优化模型研究[J].军事运筹与系统工程,2002,16(4):2-7. 被引量：4
  • 2王继升,南柄飞,李淑芝.一种基于有监督学习原理的Web服务选择方法[J].江西理工大学学报,2006,27(6):24-27. 被引量：1
  • 3Hamadi R,Benatallah B A. Petri Net-Based Model for Web Service Composition [C]. In:4th Australasian Database Conf. (ADC2003), Adelaide,Australia,Conferences in Research and Practice in Information Technology,2003:10-15.
  • 4Kurt J. An Introduction to the Theoretical Aspects of Colored Petri Nets [C]. JW de Bakker, W2P de Roever, G Rozenberg. A Decade of Concurrency, Lecture Notes in Computer Science, 803. Verlag: Springer, 1994.
  • 5Zhang Jia, Chung Jenyao,Chang C K,etal. WS-Net:A Petri-net Based Specification Model for Web Services [C]. In:Proceedings of the 2nd IEEE International Conference on Web Servies,USA,2004:420-427.
  • 6Jensen K. Colored Petri Nets-basic Concepts, Analysis Methods and Practical Use[M].New York: Springer, 1997.
  • 7CPN Groups. CPN Tools [EB/OL]. http: //www. daimi. au. dk/CPN-tools/, 2006.
  • 8[1]Web Services Architecture Requirements[EB/OL]. http://www.w3.org/TR/wsa-reqs, 2002-11-14.
  • 9[2]Business Process with BPEL4WS[EB/OL]. http://www-106.ibm.com/developworks/ library, 2002-07-31.
  • 10[3]Van der Aalst WMP. Petri-net-based Workflow Management Software[A]. Proceedings of the NFS Workshop on Workflow and Process Automation in Information Systems[C]. Athens, Geogia, May 1996. 114-118.

共引文献33

同被引文献34

  • 1宗长富,胡丹,杨肖,潘钊,徐颖.基于扩展Kalman滤波的汽车行驶状态估计[J].吉林大学学报（工学版）,2009,39(1):7-11. 被引量：45
  • 2罗成汉.基于MATLAB神经网络工具箱的BP网络实现[J].计算机仿真,2004,21(5):109-111. 被引量：127
  • 3蒋屹新,林闯,曲扬,尹浩.基于Petri网的模型检测研究[J].软件学报,2004,15(9):1265-1276. 被引量：20
  • 4孙帆,施学勤.基于MATLAB的BP神经网络设计[J].计算机与数字工程,2007,35(8):124-126. 被引量：63
  • 5Yang Weibin, Wu Guangqiang, Dang Jianwu. Research and development of automatic transmission electronic con- trol system[ C l// IEEE International Conference on Inte- gration Technology. 2007:442-445.
  • 6He Bin,Liu Wen-zhen, Lu Hai-feng. Research on auto- mated conceptual design of mechanical transmission system and its realization[ C]//2010 the 2nd International Con- ference on Computer and Automation Engineering. 2010: 45-49.
  • 7倪洪飞,董雄鹤,郑建波.MATLAB/Simulink/Stateflow在AMT换挡控制策略开发中的应用[c]//2007年APC联合学术年会论文.2007:339-341.
  • 8Jeich Mar. The car-following and lane-changing collision prevention system based on the cascaded fuzzy inference system [ J ]. IEEE Transactions on VehicularTechnology, 2005,54 (3) :910-924.
  • 9Rafael Toledo-Moreo. IMM-based lane-change prediction in highways with low-cost GPS/INS [ J ]. IEEE Transactions on Intelligent Transportation System, 2009, 10 ( 1 ) : 180- 185.
  • 10Nishiwaki Y, Miyajima C, Kitaoka N, et al.Generating lane-change trajectories of individual drivers[C]//Proceed- ings of the 2008 IEEE International Conference on Ve- hicular Electronics and Safety Columbus,2008:271-275.

引证文献3

二级引证文献7

江西理工大学学报
2011年 第5期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部