共查询到20条相似文献,搜索用时 162 毫秒
1.
对象Petri网及其在C4ISR系统仿真中的应用 总被引:5,自引:0,他引:5
首先给出对象Petri网(Object based Petri Net,OPN)的定义,介绍了OPN对基本Petri网的扩展,然后总结OPN的特点和C4ISR系统仿真模型的建模原则,讨论了OPN在C4ISR系统仿真建模中的适用性,最后对一个防空战术C4ISR系统建立OPN模型,验证了OPN的可用性。 相似文献
2.
3.
首先给出对象Petri网 (ObjectbasedPetriNet,OPN)的定义 ,介绍了OPN对基本Petri网的扩展。然后总结OPN的特点和C4 ISR系统仿真模型的建模原则 ,讨论了OPN在C4 ISR系统仿真建模中的适用性。最后对一个防空战术C4 ISR系统建立OPN模型 ,验证了OPN的可用性 相似文献
4.
5.
面向对象Petri网在柔性贴装系统仿真中的应用 总被引:2,自引:0,他引:2
Petri网十分适合分析、设计柔性制造系统。在Petri网基础上引入面向对象(OO)技术,采用面向对象Petri网(OPN),建立了一个PCB元件柔性贴装系统的完整的OPN模型。并利用对象之间的消息传递技术实现了两个共享工作区和物料区的机械手的无冲突工作,为其它复杂的多机械手柔性装配系统的建模提供了数学和图形工具。 相似文献
6.
该文采用Petri网这种系统描述和分析工具对基本图灵机进行了建模与分析。首先介绍了基本图灵机和Petri网的基本概念与定义,然后给出了一个利用Petri网对基本图灵机进行建模的有效算法,研究了用Petri网为基本图灵机建模的一般方法,说明了该方法的优越性,并最终以一个建模实例验证了该方法的有效性和可行性。 相似文献
7.
8.
9.
针对随机Petri网建模设计与分析的复杂性问题,通过面向对象方法在VisualC++环境下利用MFC开发了可视化的随机Petri网建模和分析工具SPNSim。利用广度优先思想,设计了可达图的生成算法,给出了随机Petri网模型的编辑器,用户可以直观方便地进行随机Petri网编辑,同时还能进行模型分析,得到可达图、稳态概率等随机Petri网特性和系统性能指标。通过对一个实例的建模与分析,结果验证了软件工具SPNSim的正确性和可用性。 相似文献
10.
为了更好地刻画单个Asent的行为和多Asent间复杂、并行的动态交互,将面向Agent的设计思想与Petri网建模方法相结合,形成了一种面向Agent的Petri网(AOPN)模型.首先给出了面向Agent的Petri网的形式化定义,然后利用Petri网的建模工具,以网上购物背景下买卖双方简单交互为例,对基于面向Agent的Petri网模型的系统建模方法进行了研究和分析,有效地解决了系统结构复杂性的问题. 相似文献
11.
Petri net is used widely to analyze and model various systems formally. Recently, many Petri nets mania devote their efforts to enhancing and extending the expressive power of Petri nets. One such effort is to extend Petri nets with object-oriented concepts. An object-oriented paradigm provides excellent concepts to model real-world problems. Object-oriented concepts allow us to build software systems easily, intuitively, and naturally. Although several high-level Petri nets with the concept of objects are suggested, these nets do not fully support the object-oriented concepts. In this paper, we propose a hierarchical object-oriented Petri net (HOONet). The formal syntax and semantics of HOONet are explained in detail. HOONet supports a wide range of object-oriented features including abstract, encapsulated and modularized objects, object interaction by message passing, inheritance, and ploymorphism. HOONet also supports a variety of modeling and analysis mechanisms such as incremental modeling of evolving systems, unfolding the HOONet to lower level Petri net, and incremental reachability analysis for HOONet models. We demonstrate the usefulness of HOONet by applying it to modeling and analysis with an example. 相似文献
12.
面向对象Petri网继承性的研究 总被引:1,自引:1,他引:0
面向对象Petri网(OOPN)利用面向对象的封装性解决了Petri网不能用于大型系统建模的问题.针对大型系统建模中的面向对象Petri网建模的便捷性进行研究,将面向对象的继承性以及与之紧密联系的多态性引入到OOPN中,以其在更大程度上实现模型的复用,使大型系统建模过程更加便捷、灵活. 相似文献
13.
Configuring production processes based on process platforms has been well recognized as an effective means for companies to
provide product variety while maintaining mass production efficiency. The production processes of product families involve
diverse variations in manufacturing and assembly processes resulted from a large variety of component parts and assemblies.
This paper develops a multilevel system of nested colored object-oriented Petri nets with changeable structures to model the
configuration of production processes. To capture the semantics associated with production configuration decisions, some unique
modeling mechanisms are employed, including colored Petri nets, object-oriented Petri nets, changeable Petri net structures,
and net nesting. The modeling formalism comprises resource nets, manufacturing nets, assembly nets and process nets. The paper
demonstrates how these net definitions are applied to the specification of production process variants at different levels
of abstraction. Also reported is a case study in an electronics company. The system model is further analyzed with focus on
conflict prevention and deadlock detection. 相似文献
14.
工作流技术作为一种过程建模和过程管理的核心技术,在计算机应用领域获得了迅速的发展。介绍了工作流技术;提出了将面向对象建模技术融入Petri网模型所形成的面向对象Petri网,并讨论了建立基于面向对象Petri网的工作流模型的步骤;运用面向对象Petri网建立了某制造企业的产品方案处理流程的工作流模型,并运用性能等价公式对工作流模型的性能进行了分析。 相似文献
15.
Implementation of a dynamic scheduler for apparel computer integrated manufacturing systems 总被引:1,自引:0,他引:1
DENIS GRAČANIN KIMON P. VALAVANIS STANFORD A. SMITH Jr THEODORE WILLIAMS II AL STEWARD 《Journal of Intelligent Manufacturing》1997,8(2):67-81
A major problem faced by the typical apparel manufacturer in day-to-day operations is the need for an effective scheduler to determine actions required because of operator and/or machine non-performance. The dynamic resource allocation system (DRAS) scheduler described in this paper is the natural outgrowth of previously funded research related to the design, development, technology transfer and installation of a CIM system in an apparel plant. The already developed CIM system provides a way for the DRAS scheduler (described in this paper) to change a production process dynamically. The implementation and modeling approach of the scheduler is described. The underlying system model is based on Petri nets and object-oriented databases. Petri nets provide a dynamic model of the CIM system, while object-oriented databases provide necessary information about system components and overall system activity. The data from the CIM system is used by the scheduler in the simulation mode. The daily production plan is used as a guideline to determine how to react to and correct production problems. 相似文献
16.
电商物流服务系统是一种集商流、物流、信息流和资金流于一体的大规模复杂系统,具有离散事件动态系统的一般特征。将面向对象技术与Petri网相结合,引入时间因素,应用于大规模复杂信息系统建模上,不仅能降低系统模型复杂度,还可以针对模块性能做定量分析。在分析研究电商物流服务系统主要功能和Petri网理论的基础上,给出了一种面向对象时间Petri网(OOTPN)的形式定义,描述了电商物流服务系统的主要对象和业务流程,采用面向对象时间Petri网构建了电商物流服务系统的OOTPN模型,分析了子网的相关时间特性,利用可覆盖性树、关联矩阵对子网的可达性、有界性、守恒性等性质进行了分析,证明了模型系统的可靠性和健壮性,体现了OOTPN模型具有模块化、图形化、结构化特点和可扩展、可重用、易于维护等特性。 相似文献
17.
18.
19.
This paper presents a concurrent object-oriented modeling language based on Petri nets:OMNets,which hepls greatly to avoid the inheritance anomaly problem appeared in concurrent OO languages.OMNets separates th functional part and the synchroniztion part of objects and uses Petri nets to describe the synchronization part.Both parts are reusable through inheritance. 相似文献
20.
UML(统一建模语言)是一种功能较强的面向对象图形建模工具,但其过程描述中缺乏严格的语义,而Petri网不仅有形象直观的图形描述还有严格的数学定义。针对一个简单运输系统的建模将二者结合起来,阐述了UML类图、顺序图的Petri网建模转换方法,避免直接进行Petri网建模过程的烦琐,使建模过程清晰可见。 相似文献