论文部分内容阅读
Petri网的进程是用于系统行为和状态描述的有效工具，但是通常很难给出结构复杂Petri网进程的全部描述。本文考察结构简单的S-N的进程行为，给出各种类型的S-N的进程表达式的描述方法，为结构复杂Petri网系统的进程描述提供借鉴和帮助。
S-网的进程表达式及求取方法研究
【摘 要】
：
Petri网的进程是用于系统行为和状态描述的有效工具，但是通常很难给出结构复杂Petri网进程的全部描述。本文考察结构简单的S-N的进程行为，给出各种类型的S-N的进程表达式的描述
【机 构】
：
中国科学院计算技术研究所,上海交通大学数学系,山东科技大学信息科学与工程学院
【出 处】
：
计算机科学
【发表日期】
：
2006年10期
【基金项目】
：
本课题得到国家自然科学基金（60173053和60274063）,山东省“泰山学者”专项基金和山东省自然科学基金（Y2002G09）的资助.
其他文献
报告３６例高血压病合并心肌梗死患者的冠状动脉造影及血脂结果，并与１８例无高血压病史的心肌梗死进行比较。前者单支或双支、３支冠状动脉病变的给同率分别为５５．６％（２０／３６）、４４．４％（１６／３６），后者为６１．４％（１１／１８）、３８．６％（７／１８）。高血压病合并
在Multi-Agent系统(MAS)中,每一个Agent都有不同的目标,通常只拥有对方的不完全信息,Agent需要具有解决在实现各自目标过程中所产生的各种矛盾的能力.协商是解决这些矛盾的一
Web服务的出现对分布式事务提出了新的需求,为了保证多个Web服务交互获得正确的执行和一致性的结果,有必要为Web服务提供事务机制.但是Web服务具有松散耦合性、运行时间长等
针对复杂信息系统信源为涉及多个不同专业背景的多源异类、异构信息,融合过程必须将多个异构模型集成起来进行联合问题求解的特点,提出了一种新的复杂信息系统分布式层次化决
提出一种更新移动目标最短路径树的近似算法来避免重新生成整棵路径树。算法使用了局部图的思想，使每次迭代更新尽量少的节点来减少代价。实验证明算法具有良好的效率、近似度
从大爱精神在高校图书馆内涵建设中的重要价值入手，在厘清“学会爱”和“大爱精神”关系的基础上，阐述了学会爱对图书馆员工及大学生读者的作用和效应，学会爱对真正践行“大爱精
本文研究了几种常用的垃圾邮件过滤算法,分析了它们在中文邮件环境中存在的问题.本文根据各算法的优缺点,将它们进行改进、叠加和相互结合,并通过查看发出的邮件内容进行辅助
一个Ad hoc网络是一个多跳无线网络,网络中的节点互相通信而不依赖于预先架设的固定基础设施,本文介绍了自组网并讨论了其在教学中的应用.
介绍了高师院校图书馆服务教师教育改革的现状，提出了图书馆应充分利用丰富的馆藏资源和现代化的服务手段，努力探索服务于教师教育改革工作的新思路。