论文部分内容阅读
在时延离散Petri网的基础上,该文给出了具有限制向量的时延离散Petri网模型,与时延离散Petri网等价但其标识维数减少。接着分析了该类Petri网运行规则,给出系统运行下标识的累加计算方法。最后,通过算例分析说明了累加算法的正确性与合理性。
一类带有限制向量的时延离散Petri网
【摘 要】
：
在时延离散Petri网的基础上,该文给出了具有限制向量的时延离散Petri网模型,与时延离散Petri网等价但其标识维数减少。接着分析了该类Petri网运行规则,给出系统运行下标识的
【机 构】
：
杭州电子科技大学理学院
【出 处】
：
杭州电子科技大学学报
【发表日期】
：
2012年1期
【基金项目】
：
国家自然科学基金资助项目（60934009）
其他文献
随着我国社会体系构建的日益完善,针对国企退休人员的社会化管理服务工作的移交也势在必行。党的十八届三中全会以及《中共中央国务院关于深化国有企业改革的指导意见》就加
[本刊讯]应日本农林水产省和韩国农村振兴厅的邀请,中国农业科学院组成了以张奉伦副院长为团长的代表团一行4人于2005年10月18日～27日对日本和韩国进行学术访问,中国农业科学
水资源是目前甚至将来极为宝贵的一种自然资源。要对水资源进行充分有力的保护,要靠中华人民共和国刑法及其它单行刑法的保护。本文围绕,为什么要用刑事立法对水资源进行保护
2009年7月15日，利乐中国宣布成功推出本地化整合的常温液态奶果粒添加无菌灌装系统,这一解决方案为乳品企业提供了安全而高效的果粒牛奶加工和包装系统，帮助客户提高差异化竞争
随着中国加入WTO后的相关条款的实施和中国经济不断融入世界经济,给国内中小企业带来无限的机遇和挑战,面对国际国内激烈的市场竞争,创建并打造企业强势品牌,制订科学的发展
将似然率和贝叶斯定理引入证明领域,能够得出狭义证明力的似然率评价进路,继而获得其全新定义:即一项具有辨识度的证据在诉讼双方当事人提出相互独立假设下的“发生优势”。
最近10年,针尖增强拉曼光谱技术(TERS)以其极高的空间分辨率和探测灵敏度受到了人们的重视。针尖增强拉曼光谱技术为纳米科学与生命科学等学科的研究提供了强有力的工具,使得
该文提出了一种基于模糊逻辑的电路动态特性行为建模方法。该方法基于非线性动态系统辨识理论，以精心设计的激励信号下的瞬态响应的抽样值为样本，利用模糊逻辑系统的万能函数逼
研究了一类伊藤型随机系统的镇定问题。首先利用区间二型模糊集合隶属函数的性质引进松弛矩阵,使得到的结果具有更低的保守性;其次,以线性矩阵不等式的形式给出了闭环系统稳
改革开放以后,我国城镇化建设的速度得到了跨越式提升,但生活在现代化的城市中,人们却愈发怀念家乡特有的气息。本文对文创产业进行了阐述,分析了其与特色镇建设的关联,提出