抑制弧相关论文
基于Petri网表示的嵌入式系统PRES+(Petri net based Representation for Embedded Systems)模型可以描述实时嵌入式系统.为了提高......
由于原型Petri网在一些实际应用中不能满足设计的需要,人们在其概念上进行扩充形成了增广的Petri网。带抑制弧和带测试弧的Petri网......
Carl Adam Petri于1962年在他的博士论文《Kommun Pcation mit automation》中,正式提出了Petri网论。Petri网是一种适合描述离散......
具有并发行为的软件在社会生产和生活中越来越常见,但并发行为发生顺序的不确定性给软件测试带来巨大挑战。着色Petri网CPN(Colour......
航班在停机坪作业时产生的推出冲突将影响航空器之间的运行安全和效率。文中针对典型的航班推出过程，基于Petri网理论建立了具有并......
Pi演算和Petri网是常用的两种形式化建模技术,关于他们之间的相互表达问题已经引起了人们的关注。主要目的是研究如何用Pi演算表示......
发送-接收(S-R)问题可以看作处理共享通道的一个有代表性的问题。考虑多用户的通信系统,通过构造不同通信用户组轮转使用双向信道......
本文以图示的方式,给出了如何把具有抑制弧的Petri网转化成不具有自回路的纯普通Petri网.经过转换后,得到的纯普通Petri网将更加便......
在Petri网模型中,抑制弧用于表示除输入库所条件外,仅当指定库所为空时变迁才可以触发的情况,可以应用于各类Petri网中。在广泛使......
结合着色Petri网和时延Petri网,提出了一种适合于复杂嵌入式系统建模方法。该方法在库所中表示数据、控制信息和时间戳,在变迁中引......
网格安全体系结构GSI保障了网格环境的安全认证和安全通信，它为网格环境提供了一系列的安全协议、安全服务和命令行程序。它在实现......
多线程程序可以更好地利用计算机资源，提高程序运行效率。但是由于多线程执行的不确定性，程序设计中的潜在错误不易被发现。作为系统......
带抑制弧的时延着色Petri网（Timed Colored Petri Nets with Inhibitor Arcs,TCPNIA）是一种描述实时嵌入式系统的模型。给出了从TCPN......
在Petri网模型构建的操作票知识库的基础上,利用Petri网的动态行为设计相应推理机制,使推理过程形式化,实现推理过程与规则表示的......
优化并行文件传输的过程一直都是文件传输研究的核心问题。文章采用Petri网对并行文件传输的过程进行建模，将时间作为变迁发生的一......
讨论无冲突带抑制弧Petri网结构活性的判定条件，即证明一个结构活的网，扩充为带抑制弧的网后仍然活当且仅当生成的抑制弧网具有持续......
为了使工作流模型更简洁,在工作流网WFPN的定义的基础上,给出了利用可达性分析技术对WFPN进行合理性分析的有效方法,提出了一种通......
智能补光系统可以对作物的生长进行调节,从而改变作物的生长速度,提升农产品的生产效率,补光系统设计的优劣直接影响补光系统的运......
在定义了带有抑制弧的颜色Petri网的基础上,建立了Job_Shop动态调度问题的模型。该模型充分考虑了机器维护、机器故障和工件优先级......
利用面向对象技术和时间Petri网的优点，提出一种基于面向对象时间Petri网的密码协议分析方法。该方法可以降低建模复杂性和计算复杂......
本文以带有控制器的Petri网和混合遗传算法为工具，对具有多工艺加工路径的生产车间调度问题进行研究。该算法不仅通过与其他学者提......
离散事件系统（DES）就其本质而言是一个人造系统。计算机科学的迅猛发展及其在现代文明社会中无孔不入的应用，促使具有DES特征的人造系......
Petri网是一种形式化的建模方法，它非常适合描述系统中进程或部件的顺序、并发、冲突以及同步等关系。总结各类Petri网在系统建模中......
随着经济社会的不断发展,人们对电能质量以及供电可靠性的要求逐步提高。电网作为连接发电厂与用户之间的桥梁,运行状态是否正常直......
