期刊文献+
共找到663篇文章
< 1 2 34 >
每页显示 20 50 100
Modeling Method of Automotive Body CAN/LIN Nets Application Protocol Based on Object-oriented Colored Petri Net 被引量:8
1
作者 FANG Hua HAN Jianghong and LIU Xiaoping 《Chinese Journal of Mechanical Engineering》 SCIE EI CAS CSCD 2011年第6期999-1006,共8页
Recently automotive nets are adopted to solve increasing problems in automotive electronic systems.Technologies of automotive local area network from CAN and LIN can solve the problems of the increasing of wire bunch ... Recently automotive nets are adopted to solve increasing problems in automotive electronic systems.Technologies of automotive local area network from CAN and LIN can solve the problems of the increasing of wire bunch weight and lack in module installation space.However,the multilayer automotive nets software becomes more and more complex,and the development expense is difficult to predict and to keep in check.In this paper,the modeling method of hierarchical automotive nets and the substitution operation based on object-oriented colored Petri net(OOCPN) are proposed.The OOCPN model which analyzes the software structure and validates the collision mechanism of CAN/LIN bus can speed the automobile system development.First,the subsystems are divided and modeled by object-oriented Petri net(OOPN).According to the sets of message sharing relations,the message ports among them are set and the communication gate transitions are defined.Second,the OOPN model is substituted step by step until the inner objects in the automotive body control modules(BCM) are indivisible and colored by colored Petri net(CPN).And the color subsets mark the node messages for the collision mechanism.Third,the OOCPN model of the automotive body CAN/LIN nets is assembled,which keeps the message sets and the system can be expanded.The proposed model is used to analyze features of information sharing among the objects,and it is also used to describe each subsystem real-time behavior of processing messages and implemental device controllers operating,and puts forward a reasonable software framework for the automotive body control subsystem.The research can help to design the communication model in the automotive body system effectively and provide a convenient and rapid way for developing the logical hierarchy software. 展开更多
关键词 automotive body CAN/LIN bus information sharing object-oriented colored petri net modeling
下载PDF
STOCHASTIC OBJECT-ORIENTED PETRI NETS (SOPNS) AND ITS APPLICATION IN MODELING OF MANUFACTURING SYSTEM RELIABILITY 被引量:7
2
作者 JiangZhibin HeJunming 《Chinese Journal of Mechanical Engineering》 SCIE EI CAS CSCD 2003年第3期272-276,284,共6页
Object-oriented Petri nets (OPNs) is extended into stochastic object-oriented Petri nets (SOPNs) by associating the OPN of an object with stochastic transitions and introducing stochastic places. The stochastic transi... Object-oriented Petri nets (OPNs) is extended into stochastic object-oriented Petri nets (SOPNs) by associating the OPN of an object with stochastic transitions and introducing stochastic places. The stochastic transition of the SOPNs of a production resources can be used to model its reliability, while the SOPN of a production resource can describe its performance with reliability considered. The SOPN model of a case production system is built to illustrate the relationship between the system's performances and the failures of individual production resources. 展开更多
关键词 Stochastic object-oriented petri nets Modeling Reliability Manufacturing system
下载PDF
带有时间戳的着色逻辑Petri网
3
作者 王嘉丰 徐贤 《计算机科学与探索》 CSCD 北大核心 2024年第7期1776-1791,共16页
针对扩展着色逻辑Petri网存在的表达能力弱以及适用范围窄的问题,提出了一个新的Petri网模型,即带有时间戳的着色逻辑Petri网。首先,将颜色进行实例化以及将变量用于构建有向边上的表达式使得模型能够传递复杂的数据流。其次,引入全局... 针对扩展着色逻辑Petri网存在的表达能力弱以及适用范围窄的问题,提出了一个新的Petri网模型,即带有时间戳的着色逻辑Petri网。首先,将颜色进行实例化以及将变量用于构建有向边上的表达式使得模型能够传递复杂的数据流。其次,引入全局时间以及令牌的时间戳等概念为变迁使能规则增加时间上的约束,使得模型能够用于模拟实时系统。再次,定义库所约束函数并为变迁使能规则增加输出库所上的约束,使得模型能够适用于存储资源有限的场景。接着,提出基于逻辑变迁输入输出矩阵的匹配法,降低逻辑输入变迁的使能判定计算开销并简化逻辑输出变迁的使能判定计算过程。然后,重新定义适用于三类变迁的使能判定条件以及适用于三类库所的标记更新方法,解决原有模型语义在新模型中不适用的问题。最后,通过实例说明新的Petri网模型具有更强的表达能力和适用范围,它能够适用于传递复杂数据流、存储资源有限、实时的且包含批处理选择结构的系统。 展开更多
关键词 petri 时间戳 着色令牌 逻辑变迁
下载PDF
Reliability Modelling and Analysis of Satellite Propulsion System Based on Reliability Block Diagram and Extended Object-Oriented Petri Net
4
作者 周行 黄洪钟 《Journal of Donghua University(English Edition)》 EI CAS 2015年第6期1001-1005,共5页
Modern satellite propulsion systems are generally designed to fulfill multiphase-missions.Traditional reliability modelling methods have problems of inadequate depict capacity considering complex systems such as satel... Modern satellite propulsion systems are generally designed to fulfill multiphase-missions.Traditional reliability modelling methods have problems of inadequate depict capacity considering complex systems such as satellite propulsion system.An extended object-oriented Petri net(EOOPN)method was proposed to facilitate the reliability modelling of satellite propulsion system in the paper.The proposed method was specified for modelling of phased mission system,and it could be implemented by generating combination of Petri net(PN)principles and object-oriented(OO)programming.The effectiveness of the proposed method was demonstrated through the reliability modelling of a satellite propulsion system with EOOPN.The major advantage of the proposed method is that the dimension of net model can be reduced significantly,and phased mission system at system,phase,or component levels can be respectively depicted.Furthermore,the state-space explosion problem is solved by the proposed EOOPN model efficiently. 展开更多
关键词 satellite propulsion system extended object-oriented petri net(EOOPN) object-oriented programming reliability modeling reliability analysis
下载PDF
基于NSGA-II的着色Petri网维修任务资源分配
5
作者 刘涛 雷涛 舒龙诚 《科学技术与工程》 北大核心 2024年第30期13189-13198,共10页
针对民用飞机在设计维修任务过程模型时主要关注维修拆卸流程中的顺序问题,但是缺乏对维修资源分配问题的分析。提出了一种基于NSGA-II的着色Petri网维修资源分配方法,以提高民用飞机维修任务过程的维修效率并降低维修成本。该方法利用... 针对民用飞机在设计维修任务过程模型时主要关注维修拆卸流程中的顺序问题,但是缺乏对维修资源分配问题的分析。提出了一种基于NSGA-II的着色Petri网维修资源分配方法,以提高民用飞机维修任务过程的维修效率并降低维修成本。该方法利用着色Petri网工具建立维修任务过程模型,实现对维修过程的可视化,使得维修任务设计人员分析整个维修过程,确定维修顺序与维修资源的从属关系。其次,建立了以最大化维修效率和最小化维修成本为多目标的优化模型,并运用NSGA-II算法对最优维修过程进行求解,实现维修任务的最优化维修资源分配。通过大气数据模块的维修任务拆卸实例,验证了本文方法的有效性,可避免资源重复分配,提高维修任务过程效率,降低维修成本。该方法在实际应用中具有较高的实用性和参考价值。 展开更多
关键词 维修任务 NSGA-II算法 着色petri 资源分配
下载PDF
基于随机颜色Petri网的食物网能量流动建模与分析
6
作者 管梦真 刘伟 李清 《计算机应用与软件》 北大核心 2024年第2期25-32,共8页
为更好地描述能量流动问题,对生物变化做出及时的预测。以食物网中能量流动为例,提出一种随机颜色Petri网模型及可达性分析方法。在颜色Petri网的基础之上针对token引入随机函数和约束函数等属性用来描述token的传递特性;基于随机颜色Pe... 为更好地描述能量流动问题,对生物变化做出及时的预测。以食物网中能量流动为例,提出一种随机颜色Petri网模型及可达性分析方法。在颜色Petri网的基础之上针对token引入随机函数和约束函数等属性用来描述token的传递特性;基于随机颜色Petri网提出可达图构造算法和随机概率矩阵;将随机颜色Petri网应用到食物网的能量流动过程中,对能量流动过程进行分析并对传递的物质进行分类,验证该模型的有效性。 展开更多
关键词 随机颜色petri 随机函数 能量流动 约束函数 可达图
下载PDF
基于概率有色Petri网和马尔可夫链的工作流和数据流管理
7
作者 刘小雪 《计算机与数字工程》 2024年第3期781-785,共5页
在大数据背景下,信息系统中的工作流和数据流往往同时发生,然而现有研究往往仅对工作流进行建模而未考虑数据流。论文对工作流和数据流进行统一建模,首先对基本Petri网进行扩展,定义概率有色Petri网PCPN,实现对工作流和数据流的分别刻画... 在大数据背景下,信息系统中的工作流和数据流往往同时发生,然而现有研究往往仅对工作流进行建模而未考虑数据流。论文对工作流和数据流进行统一建模,首先对基本Petri网进行扩展,定义概率有色Petri网PCPN,实现对工作流和数据流的分别刻画;定义了PCPN的基本逻辑单元,并对工作流和数据流进行建模分析,基于PCPN的工作流和数据流模型转化为马尔可夫链模型,并进行数学概率分析和决策分析。通过实例建模验证了论文建模方法的有效性和可行性。 展开更多
关键词 工作流 数据流 概率有色petri网PCPN 马尔可夫链 建模管理
下载PDF
一种基于赋时Colored Petri网的工作流模型 被引量:1
8
作者 姜新华 王俊义 《内蒙古农业大学学报(自然科学版)》 CAS 2004年第2期104-107,共4页
工作流管理技术是 2 0世纪 90年代初新兴起的软件技术 ,其实现的关键在于工作流概念模型的建立。论文选择赋时ColoredPetri网 (TimedColoredPetriNet)作为工作流建模的主要工具 ,为了实现用Petri网来建立工作流模型 ,对 petri网做了适... 工作流管理技术是 2 0世纪 90年代初新兴起的软件技术 ,其实现的关键在于工作流概念模型的建立。论文选择赋时ColoredPetri网 (TimedColoredPetriNet)作为工作流建模的主要工具 ,为了实现用Petri网来建立工作流模型 ,对 petri网做了适当的扩展以适应模型管理。最后通过 1个案例进一步阐述了基于Petri网的工作流建模技术。 展开更多
关键词 赋时colored petri 工作流模型 建模技术 工作流管理 企业
下载PDF
A Study on the Design for Object-Oriented Adaptive Decision-Making Teams 被引量:2
9
作者 Xiao Bing, Qu Tan & Wang Mingzhe Huazhong University of Science and Technology, Wuhan 430074,P.R. China 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2002年第1期68-73,共6页
The modern war features a highly distributed coordination. In the face of great time constrains, it is important to change command organizations to adapt to the real environment. Therefore it's a key step to set u... The modern war features a highly distributed coordination. In the face of great time constrains, it is important to change command organizations to adapt to the real environment. Therefore it's a key step to set up adaptive C2 teams. In this paper, the relational problems about distributed C2 organizational structure adaptation are discussed, and the methodology for team decision making design based on the object oriented technique is studied. 展开更多
关键词 Adaptation Decision making team colored petri net Object oriented.
下载PDF
A Parametric Colored Petri Net Model of a Switched Network 被引量:2
10
作者 Dmitry A. Zaitsev Tatiana R. Shmeleva 《International Journal of Communications, Network and System Sciences》 2011年第1期65-76,共12页
A parametric Colored Petri net model of the switched Ethernet network with the tree-like topology is developed. The model’s structure is the same for any given network and contains fixed number of nodes. The tree-lik... A parametric Colored Petri net model of the switched Ethernet network with the tree-like topology is developed. The model’s structure is the same for any given network and contains fixed number of nodes. The tree-like topology of a definite network is given as the marking of dedicated places. The model represents a network containing workstations, servers, switches, and provides the evaluation of the network response time. Besides topology, the parameters of the model are performances of hardware and software used within the network. Performance evaluation for the network of the railway dispatcher center is implemented. Topics of the steady-stable condition and the optimal choice of hardware are discussed. 展开更多
关键词 SWITCHED NETWORK colorED petri NET PARAMETRIC Model NETWORK Response Time
下载PDF
MODELING RADIO RESOURCE MANAGEMENT IN COGNITIVE RADIO SYSTEM BASED ON OFDMA USING COLORED PETRI NET 被引量:2
11
作者 Lu Yanhui Zhang Yuqiong Yang Shouyi Mu Xiaomin 《Journal of Electronics(China)》 2010年第5期671-676,共6页
Cognitive Radio(CR) system based on Orthogonal Frequency Division Multiple Access(OFDMA),such as Wireless Regional Area Networks(WRAN) and Worldwide Interoperability for Microwave Access(WiMAX),often attempt to improv... Cognitive Radio(CR) system based on Orthogonal Frequency Division Multiple Access(OFDMA),such as Wireless Regional Area Networks(WRAN) and Worldwide Interoperability for Microwave Access(WiMAX),often attempt to improve performance via dynamic radio resource management,which is characterized as concurrent processing of different traffic and nondeterministic system capacity.It is essential to design and evaluate such complex system using proper modeling and analysis tools.In the previous work,most of the communication systems were modeled as Markov Chain(MC) and Stochastic Petri Nets(SPN),which have the explicit limitation in evaluating adaptive OFDMA CR system with wide area traffic.In this paper,we develop an executable top-down hier-archical Colored Petri Net(CPN) model for adaptive OFDMA CR system,and analyze its performance using CPN tools.The results demonstrate that the CPN can model different radio resource manage-ment algorithms in CR Systems,and the CPN tools require less computational effort than Markov model using Matlab,with its flexibility and adaptability to the traffics which arrival interval and processing time are not exponentially distributed. 展开更多
关键词 Cognitive Radio (CR) Dynamic Radio Resource Management (RRM) colored petri Net (CPN) Modeling and evaluation
下载PDF
A colored Petri net-based model for web service composition 被引量:1
12
作者 张昭理 洪帆 肖海军 《Journal of Shanghai University(English Edition)》 CAS 2008年第4期323-329,共7页
In this paper, a model based colored Petri net (CPN) to provide semantic support for web service composition is proposed, and the reliability and maintainability of composite services are improved. The composite con... In this paper, a model based colored Petri net (CPN) to provide semantic support for web service composition is proposed, and the reliability and maintainability of composite services are improved. The composite constructs in the model are sequence, concurrent, choice, loop and replace. The web service is formally defined by a CPN. A closed composing algebra is defined to obtain a framework which enables declarative composition of web services. Availability, confidentiality, and integrity of composite service are analyzed within the framework of the model based CPN. 展开更多
关键词 web service colored petri net (CPN) web service composition MODEL
下载PDF
Using Stochastic Colored Petri nets for Designing Multi-Purpose Plants 被引量:2
13
作者 Hasan Hosseini-Nasab Ali Sadri 《Engineering(科研)》 2012年第10期655-661,共7页
Designing of a multi-purpose plant as one of the well-known manufacturing systems is more challenging than other manufacturing systems. This paper applies a stochastic colored Petri net (CPN) to design and analyze mul... Designing of a multi-purpose plant as one of the well-known manufacturing systems is more challenging than other manufacturing systems. This paper applies a stochastic colored Petri net (CPN) to design and analyze multi-purpose plants. A simple approach is proposed to determine the utilization of shared resources and to reduce the equipment’s idle times. Three scenarios are presented to describe the proposed model. Generally, according to desire of a decision maker, different scenarios can be considered in the model to achieve to the expected design or plant configuration. The main characteristics of the proposed model are flexibility, the easiness of practical application and the simulation of the model in an easy way. 展开更多
关键词 MULTI-PURPOSE Plant STOCHASTIC colorED petri Net Simulation
下载PDF
PBB Efficiency Evaluation via Colored Petri Net Models 被引量:1
14
作者 Peter Vorobiyenko Kirill Guliaiev +1 位作者 Dmitry Zaitsev Tatiana Shmeleva 《Communications and Network》 2010年第2期113-124,共12页
Basic components of Provider Backbone Bridge (PBB) network models were constructed: PBB interior switch, PBB edge switch—with the dynamic filling up of address tables. The modeling of PBB networks was implemented. Th... Basic components of Provider Backbone Bridge (PBB) network models were constructed: PBB interior switch, PBB edge switch—with the dynamic filling up of address tables. The modeling of PBB networks was implemented. The results of simulation reveal definite imperfections of PBB technology caused by the broad-casting and sensitivity to the ageing time of the address tables’ records, which complicates the guaranteeing of a given QoS. The preliminary comparison confirms definite advantages of E6 addressing before PBB. 展开更多
关键词 PBB E6 colorED petri NET Simulation QOS
下载PDF
MODELING MULTI-TRAFFIC ADMISSION CONTROL IN OFDMA SYSTEM USING COLORED PETRI NET 被引量:1
15
作者 Yao Yuanyuan Lu Yanhui Yang Shouyi 《Journal of Electronics(China)》 2012年第6期509-514,共6页
Call Admission Control (CAC) is one of the key traffic management mechanisms that must be deployed in order to meet the strict requirements for dependability imposed on the services provided by modern wireless network... Call Admission Control (CAC) is one of the key traffic management mechanisms that must be deployed in order to meet the strict requirements for dependability imposed on the services provided by modern wireless networks. In this paper, we develop an executable top-down hierarchical Colored Petri Net (CPN) model for multi-traffic CAC in Orthogonal Frequency Division Multiple Access (OFDMA) system. By theoretic analysis and CPN simulation, it is demonstrated that the CPN model is isomorphic to Markov Chain (MC) assuming that each data stream follows Poisson distribution and the corresponding arrival time interval is an exponential random variable, and it breaks through MC's explicit limitation, which includes MC's memoryless property and proneness to state space explosion in evaluating CAC process. Moreover, we present four CAC schemes based on CPN model taking into account call-level and packet-level Quality of Service (QoS). The simulation results show that CPN offers significant advantages over MC in modeling CAC strategies and evaluating their performance with less computational complexity in addition to its flexibility and adaptability to different scenarios. 展开更多
关键词 Orthogonal Frequency Division Multiple Access (OFDMA) Call admission control colored petri Net (CPN) Multi-traffic Markov Chain (MC)
下载PDF
基于着色Petri网的地铁系统运营期应急管理流程建模与分析 被引量:1
16
作者 梁伟婷 杨高升 《中国安全生产科学技术》 CAS CSCD 北大核心 2023年第5期179-185,共7页
为解决现有地铁应急预案中文本式管理流程难以直观展现各环节的联动性问题,以系统分析视角梳理我国地铁系统一般应急管理流程,基于着色Petri网理论构建地铁系统运营期应急流程模型;运用CPN Tools软件构建应急流程的CPN模型,验证模型的... 为解决现有地铁应急预案中文本式管理流程难以直观展现各环节的联动性问题,以系统分析视角梳理我国地铁系统一般应急管理流程,基于着色Petri网理论构建地铁系统运营期应急流程模型;运用CPN Tools软件构建应急流程的CPN模型,验证模型的可行性;以可达树算法同构的马尔科夫链计算地铁系统着色Petri网模型的性能指标,识别流程的关键节点,并以实际算例数据为基础进行仿真分析。研究结果表明:构建的模型具有有界性和活性;该地铁系统运营期应急流程的关键节点为“接警”、“判断突发事件级别”及“判断事态控制情况”,研究结果可为应急管理流程优化提供借鉴。 展开更多
关键词 应急管理 地铁系统 着色petri
下载PDF
基于赋色Petri网的反辐射导弹对雷达毁伤效率评估建模 被引量:1
17
作者 王轩 《火力与指挥控制》 CSCD 北大核心 2023年第1期176-180,186,共6页
针对反辐射导弹对雷达毁伤效率评估过程中,存在的评估结果不稳定问题,基于赋色Petri网构建了雷达毁伤效率评估模型。采用ZigBee协议构建赋色Petri网,并建立反辐射导弹对雷达毁伤效率参数分析模型。提取反辐射导弹对雷达毁伤评估统计特征... 针对反辐射导弹对雷达毁伤效率评估过程中,存在的评估结果不稳定问题,基于赋色Petri网构建了雷达毁伤效率评估模型。采用ZigBee协议构建赋色Petri网,并建立反辐射导弹对雷达毁伤效率参数分析模型。提取反辐射导弹对雷达毁伤评估统计特征量,采用反演特征分析方法,构建雷达毁伤效率大数据分析模型,并结合大数据参数融合和特征分析结果,求解反辐射导弹对雷达毁伤效率评估模型,将输出的评估信息传输至Web界面,实现反辐射导弹对雷达毁伤效率自动化评估。测试结果表明,采用该方法进行反辐射导弹对雷达毁伤效率评估建模的可靠性较高,评估效能较好。 展开更多
关键词 赋色petri 反辐射导弹 雷达 毁伤效率
下载PDF
USING COLORED-TIMED PETRI NET FOR THE SOLUTION OF DEADLOCK IN A FLEXIBLE ASSEMBLY SYSTEM
18
作者 Wu Yaohua, Zhang Danyu (Center of Material Handling Egineering,Shandong University) 《Chinese Journal of Mechanical Engineering》 SCIE EI CAS CSCD 2001年第4期362-365,共4页
A colored timed Petri net(CTPN)modeling technique is developed for flexible assembly system(FAS) In particular,one section is devoted to the deadlock nodel based on the Petri net The rule of the deadlock error rec... A colored timed Petri net(CTPN)modeling technique is developed for flexible assembly system(FAS) In particular,one section is devoted to the deadlock nodel based on the Petri net The rule of the deadlock error recovery is given Through the analysis of the behavioral properties of the FAS with the deadlock recovery model,the deadlock problem would be solved in the system. 展开更多
关键词 colorED timed petri net FAS DEADLOCK
下载PDF
Hierarchical Colored Timed Petri Nets for Maintenance Process Modeling of Civil Aircraft 被引量:1
19
作者 FU Cheng-cheng SUN You-chao LU Zhong 《International Journal of Plant Engineering and Management》 2008年第3期159-166,共8页
Civil aircraft maintenance process simulation model is an effective method for analyzing the maintainability of a civil aircraft. First, we present the Hierarchical Colored Timed Petri Nets for maintenance process mod... Civil aircraft maintenance process simulation model is an effective method for analyzing the maintainability of a civil aircraft. First, we present the Hierarchical Colored Timed Petri Nets for maintenance process modeling of civil aircraft. Then, we expound a general method of civil aircraft maintenance activities, determine the maintenance level for decomposition, and propose the methods of describing logic of relations between the maintenance activities based on Petri Net. Finally, a time Colored Petri multi-level network modeling and simulation procedures and steps are given with the maintenance example of the landing gear burst tire of a certain type of aircraft. The feasibility of the method is proved by the example. 展开更多
关键词 hierarchical timed colored petri nets (HTCPN) civil aircraft maintenance process model MAINTAINABILITY
下载PDF
Modeling and Simulation of Textile Supply Chain through Colored Petri Nets 被引量:1
20
作者 Francisca Santana-Robles Joselito Medina-Marín +1 位作者 Oscar Montano-Arango Juan Carlos Seck-Tuoh-Mora 《Intelligent Information Management》 2012年第5期261-268,共8页
The purpose of this paper is to describe the business process modeling and simulation of a textile supply chain using Colored Petri nets. Our model takes into account both the source process and delivery logistics tha... The purpose of this paper is to describe the business process modeling and simulation of a textile supply chain using Colored Petri nets. Our model takes into account both the source process and delivery logistics that exist between any two members of supply chain;moreover, we model other activities performed by the company such as manufacturing clothing. The model has been built to acquire a better understanding about the behavior of a textile company in the fulfillment of requests from costumers. The model has been built using CPN Tools. This model was built with modules for activities of the supply chain textile, e.g. receiving orders of customers, determination of production plan, procurement raw material, transportation of raw material, production and delivering products to customers. This modularized model offers some advantages to represent complex supply chains according to their structure and requirements. Thus, we can add modules easily depending on the necessary activities. 展开更多
关键词 Supply Chain Business Process Business Process Modeling Techniques colored petri Nets
下载PDF
上一页 1 2 34 下一页 到第
使用帮助 返回顶部