论文部分内容阅读
提出了一种对网上购物系统建立模型的基于着色Petri网的方法．该方法运用了CPNTools分层的特性及替代变迁，克服了建立的CPN模型大而复杂的不足．最后为了确保模型的正常运行，利用CPNTools提供的状态空间工具来验证订单处理的CPN模型的合理性．
基于CPNTools的网上购物系统建模及合理性分析
【摘 要】
：
提出了一种对网上购物系统建立模型的基于着色Petri网的方法．该方法运用了CPNTools分层的特性及替代变迁，克服了建立的CPN模型大而复杂的不足．最后为了确保模型的正常运行，利用CP
【机 构】
：
江西理工大学应用科学学院,江西理工大学信息工程学院
【出 处】
：
江西理工大学学报
【发表日期】
：
2011年5期
其他文献
司法实务中,非法吸收公众存款罪的认定往往容易混淆正常的商业风险与集资犯罪的界限。法律对企业借贷自由的限制须尊重企业借贷本身的内在逻辑,否则法律的规制不仅不会产生良
实验教学示范中心是实施学生实践能力培养的重要载体。文章针对目前电子技术实践课程教学中存在的诸多问题,依托我校应用电子省级实验示范中心优越的软硬件条件,将电子技术实
以硫酸钠为中间试剂，以阴、阳离子膜阻止阳离子和阴离子的传输，在直流电作用下，实现铜钴合金双膜电溶解，同时在阴极室获得NaOH碱溶液．实验确定的工艺条件为：槽电压2．1～3．2V，温度45～50℃，
针对Schmidl定时同步算法中出现的峰值平台和H．Minn定时算法中出现的多个副峰值等问题，提出改进算法的训练序列结构的思路，当定时时刻在循环前缀范围内，循环前缀中样值的相关运算
分析了目前在计算机软件类专业学科教学模式中存在的问题,针对传统的教学模式在培养学生综合能力方面中存在的重理论、轻实践、学生积极性不高等不足以及目前教学过程中出现
通过化学氧化还原法和水热沉积法制备出了2种不同形貌的氧化铁阵列,测试了其催化性能。结果表明,氧化铁多级结构阵列比氧化铁纳米棒阵列表现出更好的催化性能。双氧水用量对
云南怒江泸水外岩房锡钨矿在生产中对于急倾斜厚大矿体,计划采用分段凿岩阶段出矿分段空场采矿法进行开采。运用FLAC~（3D）计算机数值模拟技术对该矿山开采过程中采场顶底板,间
目的：探讨实时三维超声心动图（RT-3DE）定量评价中晚期肝硬化患者左心室容积及收缩功能的临床应用价值.方法：检测中晚期肝硬化患者32例,正常对照组20例,对所有研究对象进行实时三
目的:探讨彩色多普勒超声技术在急性附睾炎诊断中的应用价值。方法:对2015年1月—2017年6月间我院普外泌尿烧伤科确诊的38例急性附睾炎患者为研究对象,对本组患者均采用多普
一方面满足当前消费人群日益增长的消费需求,另一方面解决了中小企业融资难、促进新生企业和中微型企业的发展融资问题。但是,当前众筹还仅仅只是停留在一个逐渐普及的阶段,