Reduction Method for Reachability Analysis of Petri Nets

来源 :黑龙江科技学院学报 | 被引量 : 0次 | 上传用户:xdbgm520
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7<
其他文献
Vorticity, which represents the rotation of a fluid element, is an important characteristic of turbulence. Various methods have been used to measure vorticity.
1995年以来,我院应用立止血治疗支气管扩张咯血患者23例,疗效显著.现分析如下.rn临床资料:选择46例支扩和咯血住院患者,均按病史、体征、胸片、胸部CT明确诊断,且能排除其他
保险业的经营属性区别于其他行业,因而其遵循的会计原则也较为特殊;要不断完善保险行业会计规则,就必须首先明确各种保险属性,进而制定出符合保险行业的会计规则.本文归纳了
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
期刊
随着市场经济体制的逐步建立和深入,加强国企政工相关制度的建设,在提高企业政治思想工作的工作效率以及提高企业整体经济效益方面发挥了重要的推动作用。 With the gradual
The conventional method for analyzing active suspension control for a vehicle is only to analyze a quarter or half car with a lower order degree-of-freedom (DO
早期诊断并及时治疗小儿颅内高压征 ,是控制脑水肿 ,预防脑疝形成及降低病死率的重要措施。近年来 ,我们采用“边补边脱”的液体疗法治疗颅内高压征患儿 30例 ,并与同期仅用
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
期刊
2004年11月中旬,由中评协党委副书记辛宝荣率领的考察团,先后考察访问了德国公共测量师协会(BDVI)、德国联邦公共专家协会(BVS)和英国皇家特许测量师学会(RICS)。通过考察,了解德国和英国评估行业管理及协会的基本情况,并增进了相互之间的了解和交流。    一、德国评估行业管理基本情况    德国主要的评估行业组织包括:德国公共测量师协会(BDVI)、德国联邦公共专家协会(BVS)、房地产
即便你对吉娜·莱因哈特不太熟悉.你也应该知道她。她是一个无法让人忽视的人物,她是澳大利亚的矿业巨头,掌控着其父亲创立的汉考克勘探公司(Hancock Prospecting)。但是,她
期刊