检索结果-南通市图书馆

Application Research of assembly line modeling based on time petri net

石化技术 2021年第1期28卷 70-71页

作者： Pang Aimin Guo Yijun School of Mechanical Engineering and Automation Wuhan Textile UniversityWuhan 430073

With the continuous progress of manufacturing industry,automatic assembly line has become a very mature production mode in modern factories,and the quality of assembly line design has become an important issue related to the development of manufacturing *** this paper,a graphical model based on petri net is established for the first full load time of the assembly *** accessibility of the P/T system and the production rhythm of the assembly line are calculated by computer ***,according to the simulation model,an experimental platform is built to verify the rationality of the *** results show that the model can accurately express the equipment allocation process of assembly line.

关键词： time petri net Assembly line modeling Computer simulation

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Verifying time petri nets by Linear Programming

引用

Journal of Computer Science & Technology 2001年第1期16卷 39-46页

作者：李宣东 State Key Laboratory of Novel Software Technology Department of Computer Science and Technology Nanjing University Nanjing P.R. China

The paper proposes an approach to solving some verification prob- lems of time petri nets using linear programming. The approach is based on the observation that for loop-closed time petri nets, it is only necessary to investigate a finite prefix of an untimed run of the underlying petri net. Using the technique the paper gives solutions to reachability and bounded delay timing analysis problems. For both problems algorithms are given, that are decision procedures for loop-closed time petri nets, and semi-decision procedures for general time petri nets.

关键词： real-time system time petri net linear programming model-checking

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Multi-agent based modeling for order distribution cooperative negotiation in supply chains

引用

Journal of Southeast University(English Edition) 2007年第S1期23卷 140-145页

作者：陈国华钱军孙胜楠南京大学工程管理学院南京210093

With the new characteristics of global cooperation in supply chains being synthetically considered,a hybrid model to the cooperative negotiation process for the order distribution in supply chain is mainly *** reviewing and analyzing some main domestic and overseas processes in cooperative negotiation modeling in supply chain,some problems are subsequently pointed *** example,the traditional simple multi-agent system(MAS)frameworks which have some limitations,are not suitable for solving modeling complex *** solve these problems,thinking with the aid of the multi-agent structure and complex system modeling,the manufacturing supply chain is taken as an example,and a time petri net production model is adopted to decompose the *** then a cooperative negotiation model for the order distribution in supply chain is constructed based on combining multi-agent techniques with time petri net *** simulation results reveal that the above model helps solve the problems of cooperative negotiation in supply chains.

关键词： multi-agent time petri net supply chain cooperative negotiation

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：