【摘 要】
：
基于Petri网和工作流的概念,提出一种实时协同系统的形式化模拟与分析技术--逻辑工作流网. 逻辑工作流网是抑制弧Petri网和高级Petri网的抽象和扩展,其变迁的输入/输出受逻辑
【机 构】
：
聊城大学计算机学院,聊城大学计算机学院
【基金项目】
：
国家自然科学基金，国家高技术研究发展计划(863计划)，中国科学院计算机科学重点实验室基金，上海市重点项目，全国高等学校优秀博士学位论文作者专项基金，高等学校优秀青年教师教学科研奖励计划
论文部分内容阅读
基于Petri网和工作流的概念,提出一种实时协同系统的形式化模拟与分析技术--逻辑工作流网. 逻辑工作流网是抑制弧Petri网和高级Petri网的抽象和扩展,其变迁的输入/输出受逻辑表达式的约束. 它与一般工作流网相比,能够在一定程度上缓解状态空间爆炸问题,且便于系统设计人员掌握和使用. 该文分析了逻辑工作流网的若干性质及组合网的性质继承问题,并以网上企业销售系统为例, 说明逻辑工作流网在实时协同系统模拟分析中的应用.
其他文献
同志,听说你们决定将你们馆主编的《纪念与研究》交由学林出版社出版,并且对外公开发行,这是一个令人高兴的消息,我首先要在这里,向你们表示祝贺。正如你们原来标明的刊名所
几何不变量,特别是射影不变量,是基于单视点灰度图像识别三维物体的一条有效途径.但理论研究表明,只有特定的几何约束结构,才具有射影不变量.所以,研究并发现这种几何约束结构就具有十分重要的意义.该文提出了一种新的由相邻3平面上5条直线组成的几何约束结构及其所具有的射影不变量.该结构较Sugimoto提出的几何约束结构简单,可从结构同样复杂的物体中获得更多的几何不变量,有利于提高物体识别的稳定性;同时,
本文根据区域政策在地区经济发展和地区差距变动中的作用,提出应当对我国中西部地区实施区域倾斜政策,以实现控制地区相对差距不再扩大的第一步目标和地区绝对差距逐渐缩小的
WWW缓冲技术通过将受欢迎的网页放到与客户较近的地方来提高用户存取这些网页的速度.如何有效充分地利用WWW缓冲中的信息,其关键是建立一个合适的用户兴趣模型和构造合适的兴
当前的鲁迅研究往何处去?编者带着这个问题请教了王元化同志。在谈话中,王元化同志重申了他在1981年写的《关于鲁迅研究的若干设想》一文中的一些意见。我们感到这些意见仍有
目前Web中的海量信息已经成为人们重要的信息来源,如何从大量半结构化或无结构的HTML网页中提取信息已成为目前的研究热点.但是Web页面的初始设计目的是为了方便用户浏览,而
分析了古村落旅游资源的特点，在对皖南徽州古村落——西递、宏村的居民、游客的随机抽样问卷调查结果显示：古村落旅游资源存在的视觉污染严重。以调查结果为依据，分析了古村落视
提出了一种新的隐马尔可夫模型———自适应隐马尔可夫模型(AHMM).与传统的开环HMM相区别,AHMM是一种用于识别的带反馈机制的闭环HMM.AHMM采用带有压缩率调整因子的特征压缩算法,首先对待识别的特征序列进行较高压缩率的压缩,然后将压缩得到的特征序列送入HMM识别器进行识别.根据对识别效果满意度的判决,确定是否需要调整压缩率因子以获得较长的特征序列,并重新送入HMM识别器进行识别.将该文提出
控制投机和数据投机是提高程序指令级并行度的有效方法.为了保证投机指令的正确执行,须解决两个问题,即延迟触发控制投机指令导致的异常和数据投机中的别名歧义.这需要硬件的