论文部分内容阅读
给出了基于时序Petri网下的网上证券交易系统，其模型过于复杂。由于Petri网本身很强的模拟能力，本文用P/T_系统．模拟了证券交易所的网上证券交易系统，进而用S-不变等方法对其进行了验证。
基于Petri网的网上股票交易系统模拟与验证
【摘 要】
：
给出了基于时序Petri网下的网上证券交易系统，其模型过于复杂。由于Petri网本身很强的模拟能力，本文用P/T_系统．模拟了证券交易所的网上证券交易系统，进而用S-不变等方法对其进行
【机 构】
：
西华大学数学与计算机科学技术学院,石家庄经济学院信息工程学院
【出 处】
：
微计算机信息
【发表日期】
：
2006年09X期
【基金项目】
：
四川省科技厅应用基础课题（03226125）
其他文献
慢性胃炎的主要临床表现为胃脘痞满胀痛、嘈杂、嗳气、纳呆，舌质多见暗红或淡紫等，且病程冗长，缠绵不愈。胃粘膜相损害主要为胃粘膜慢性活动性炎症，充血，水肿、糜烂、出血，或伴有腺
随着钢铁企业信息化的不断推进，对将原分散在不同应用领域的信息系统整合起来以使各部分信息实现无缝连接的需求变的越来越迫切。正是基于此某钢铁公司利用WebServices，通过合
目的：探讨陈旧性股骨颈骨折后髋关节强直进行人工全髋关节置换术（THA）的方法及治疗效果.方法：14例陈旧性股骨颈骨折后髋关节强直的患者行THA,术中在软组织松解,去除髋臼内股骨头,
目的：探索终止瘢痕子宫中期妊娠的引产方法.方法：对我院2009年3月～2010年6月收治的瘢痕子宫中期妊娠要求终止妊娠患者56例,按随机的方式分成2组,观察组（30例）和对照组（26例）观察组采
“2014中国汽车诊断师大赛”的赛程安排分为海选、初赛（赛场赛）、赛区赛和总决赛,初赛已经在全国多地举办了十几场,计划周密,工作严谨.2014年9月19日,笔者以专家评委的身份参加
在中国汽车保修设备行业协会即将迎来30周年华诞之际，“AMR2013北京国际汽车维修检测设备及汽车养护展览会”于2013年4A1—3日在北京中国国际展览中心（新馆）隆重召开。本届展会
目的：观察联合吸入盐酸氨溴索、地塞米松和沙丁胺醇气雾剂治疗慢性阻塞性肺疾病急性加重期（AECOPD）患者的，临床疗效及安全性。方法选择本院2011年5月-2015年5月住院治疗的AEc0PD
利用MB90F428单片机构建了汽车仪表系统的检测和驱动模块，各模块间用CAN总线建立了通信网络。本文还详细地讨论了MB90F428内嵌CAN控制器地编程。
<正>0前言膨胀土作为一种具有裂隙性、胀缩性和超固结性的高塑性粘土,对水份变化特别敏感,当含水率变化时,易引起膨胀土的膨胀或收缩变形,强度随之发生变化,随干湿循环次数的