抑制弧相关论文
Carl Adam Petri于1962年在他的博士论文《Kommun Pcation mit automation》中,正式提出了Petri网论。Petri网是一种适合描述离散......
具有并发行为的软件在社会生产和生活中越来越常见,但并发行为发生顺序的不确定性给软件测试带来巨大挑战。着色Petri网CPN(Colour......
离散事件系统中,资源的不合理分配可导致死锁的发生。死锁会降低系统的工作效率,甚至会造成系统停顿。因此,解决死锁问题至关重要......
本文用带抑制/容许弧的增广有色Petri网构建一类带封锁机制的数据库并发控制模型,此模型适用于描述多个事务访问多个共享资源。其......
在Petri网模型中,抑制弧用于表示除输入库所条件外,仅当指定库所为空时变迁才可以触发的情况,可以应用于各类Petri网中。在广泛使......
网格安全体系结构GSI保障了网格环境的安全认证和安全通信，它为网格环境提供了一系列的安全协议、安全服务和命令行程序。它在实现......
多线程程序可以更好地利用计算机资源，提高程序运行效率。但是由于多线程执行的不确定性，程序设计中的潜在错误不易被发现。作为系统......
带抑制弧的时延着色Petri网（Timed Colored Petri Nets with Inhibitor Arcs,TCPNIA）是一种描述实时嵌入式系统的模型。给出了从TCPN......
在Petri网模型构建的操作票知识库的基础上,利用Petri网的动态行为设计相应推理机制,使推理过程形式化,实现推理过程与规则表示的......
优化并行文件传输的过程一直都是文件传输研究的核心问题。文章采用Petri网对并行文件传输的过程进行建模，将时间作为变迁发生的一......
为了使工作流模型更简洁,在工作流网WFPN的定义的基础上,给出了利用可达性分析技术对WFPN进行合理性分析的有效方法,提出了一种通......
智能补光系统可以对作物的生长进行调节,从而改变作物的生长速度,提升农产品的生产效率,补光系统设计的优劣直接影响补光系统的运......
在定义了带有抑制弧的颜色Petri网的基础上,建立了Job_Shop动态调度问题的模型。该模型充分考虑了机器维护、机器故障和工件优先级......
利用面向对象技术和时间Petri网的优点，提出一种基于面向对象时间Petri网的密码协议分析方法。该方法可以降低建模复杂性和计算复杂......
离散事件系统（DES）就其本质而言是一个人造系统。计算机科学的迅猛发展及其在现代文明社会中无孔不入的应用，促使具有DES特征的人造系......
Petri网是一种形式化的建模方法，它非常适合描述系统中进程或部件的顺序、并发、冲突以及同步等关系。总结各类Petri网在系统建模中......
随着经济社会的不断发展,人们对电能质量以及供电可靠性的要求逐步提高。电网作为连接发电厂与用户之间的桥梁,运行状态是否正常直......
