Petri网综合的行为理论蒋昌俊
自Petri 先生开创性的工作之后,网论得到了长足进展,至今已形成了相当规模的研究领域。在理论方面,Petri网模型和分析技术的研究取得了许多有价值的成果,Petri网作为一种全新的自动机被开发出来,研究者对此充满了希望,认为Petri网比下推自动机有用,原因是它不存在图灵机所具有的那些可判定问题。在这期间,MIT出现了许多博士论文都是以Petri网为专题的。于是人们也象发现FSM自动机与普通语言之间的关系一样展开了对Petri网语言的研究,研制出了一些复杂的译码方法,并且定义了一些使其证明较易构造的Petri网子类。由于Petri网自己也存在一些可判定问题,许多研究者转而寻找其它形式的自动机
推荐下载
-
动物行为最优觅食理论
深入探讨动物为优化觅食行为而采取的最优策略。
4 2024-04-29 -
高级ASIC芯片综合张文俊译.pdf
作者:HimanshuBhatnagar摘要:本书共13章,主要内容包括ASIC设计方法学,基本概念,Synopsys工艺库,划分和编码风格,设计约束,优化设计,可测性设计,物理综合,SDF生成-为动
24 2019-07-13 -
Banach空间结构理论赵俊峰
一本关于Banach空间结构理论的经典专业书籍。
21 2020-05-30 -
基于Petri网工作流模型的分析
这是一款整理发布的基于Petri网工作流模型的分析,它能给予你所需要了解与基于Petri网工作流模...该文档为基于Petri网工作流模型的分析,是一份很不错的参考资料,具有较高参考价值,感兴趣的可以
14 2020-12-21 -
应急预案流程的Petri网建模方法研究
为了提高应急信息系统模型的语义基础,提出了一种基于Petri网的应急预案流程的建模方法。以ABC模型为上位本体建立了应急预案流程本体,提出了应急预案流程的Petri网建模过程,并定义了应急预案流程中本
13 2020-10-27 -
petri网在系统生物学上的应用
petri网在系统生物学上的应用,在代谢流中的分析。非常好的文章
20 2020-09-18 -
Petri网在业务过程建模中的应用
业务过程建模是工作流管理系统的基础,当前人们对业务过程建模技术还缺乏系统研究。本篇文章主要是结合我们实现的业务过程建模工具综述了Petri网在业务过程的形式化表示、正确性证明、性能评价和模型优化等方面
25 2020-05-02 -
模糊Petri网的研究和应用相关论文
关于模糊Petri网研究和应用的相关论文,包含博士毕业论文和期刊论文,主题有共同覆盖的地方,应用各不相同。
31 2019-01-23 -
基于Petri网的工作流建模研究
基于Petri网的工作流建模研究,比较有用,CSDN要设置资源分,没办法,只好设置了5分
40 2019-05-15 -
基于LTL和PETRI网的模型检测方法
一种有效的基于LTL和PETRI网的模型检测方法
23 2019-05-15
用户评论