一种基于Petri网的时间工作流模型的研究与验证.pdf

2018-09-06 约小于1千字 6页立即下载

一种基于Petri网的工作流模型分解方法(20180715150421).pdf

2018-08-06 约小于1千字 8页立即下载

一种基于petri-net模型的无人机轨迹验证方法和系统.pdf (19)国家知识产权局 (12)发明专利申请 (10)申请公布号 CN 114545898 A (43)申请公布日 2022.05.27 (21)申请号 202210070840.X (22)申请日 2022.01.21 (71)申请人大唐互联科技（武汉）有限公司地址

2023-05-09 约1.06万字 9页立即下载

基于编译技术的Petri网模型工作流系统研究的中期报告.docx 基于编译技术的Petri网模型工作流系统研究的中期报告中期报告一、研究背景随着计算机技术的飞速发展和互联网技术的广泛应用，各种企业、机构和个人之间的业务流程越来越复杂，对工作流系统的需求也越来越大。工作流系统是一个将任务、活动和资源以某种固定的方式组合在一起的过程。而Petri网作为一种适合建模并发、异步、互斥特性的强大工具，已经被广泛应用在工作流系统中，特别是在企业应用集成、电子商务、自动化制造等领域。目前，已经存在许多使用Petri网建模的工作流系统，但是随着业务规模的增长和工人的增多，这些系统往往会变得非常庞大和复杂，导致系统效率低下和维护成本高昂。因此，如何提高系统的可靠性、系

2023-09-20 约小于1千字 2页立即下载

一种基于Petri网的自动制造系统可诊断性验证方法.pdf (19)中华人民共和国国家知识产权局 (12)发明专利 (10)授权公告号 CN 113361136 B (45)授权公告日 2022.04.29 (21)申请号 202110753601.X (56)对比文件 (22)申请日 2021.07.02

2023-06-17 约1.55万字 11页立即下载

一种基于扩展Petri网的工作流建模方法.pdf

2018-08-04 约小于1千字 8页立即下载

基于时间约束Petri网的工作流动态一致性检验.PDF 维普资讯第 l6卷第 9期计算机技术与发展 VoI．16 No．9 2006年 9月 C0ⅣIPUTERTECHN0LOGY ANDDEVEL PMENT Sep． 2006 基于时间约束Petri网的工作流动态一致性检验

2017-08-11 约1.53万字 4页立即下载

基于Petri网工作流模型的电厂信息系统体系建模研究的开题报告.pdf 基于Petri网工作流模型的电厂信息系统体系建模研究的开题报告一、研究背景和意义电厂作为重要的能源供应单位，其信息系统对于生产效率和安全管理至关重要。传统的电厂信息系统主要采用单一的功能模块组成，缺少对整个电厂生产流程的综合分析和管理。随着信息技术的不断发展，工作流技术被广泛应用到各个领域，特别是对于流程管理方面，工作流技术有着重要的应用价值。 Petri网作为一种常用的描述并发系统的工具，已被广泛应用到工作流建模中。在电厂信息系统中，利用Petri网建模可以更好地描述电厂生产流程，分析流程中的关键环节并进行优化，提高电厂生产效率和管理水平。二、研究内容和目标本研究旨在

2024-09-15 约1.23千字 2页立即下载

基于UML和Petri网的工作流建模与优化研究1.doc 基于UML和Petri网的工作流建模与优化研究 ? 信息技术?孙军艳?基于UML和Petri网的工作流建模与优化研究基于UML和Petri网的工作流建模与优化研究孙军艳 (陕西科技大学机电工程学院,陕西西安710021) 摘要:利用UML活动图和Petri网建模的互补性,提出了综合运用两种方法进行工作流建模和仿真优化,并通过实例分析验证了该方法的可行性与有效性.该方法从最基本的角度刻画整个业务过程,实现了业务过程重组与优化,有效地解决了工作流的柔性问题. 关键词:工作流;UML活动图;Petri网;建模;优化中图分类号:TP391文献标志码:A文章编号:1671-5276(2010)

2015-08-17 约6.82千字 11页立即下载

基于Petri网的工作流建模研究的中期报告.docx 基于Petri网的工作流建模研究的中期报告中期报告一、研究现状 Petri网作为一种重要的数学模型，被广泛应用于工作流建模中。基于Petri网的工作流建模优势在于：形式化、可视化、模型简单性等。除此之外，Petri网模型还可以进行动态模拟和定量分析，可用于对工作流的性能、正确性等方面的评估。Petri网模型也可以用于分析负载、模拟并行执行、分析资源使用等方面。目前，基于Petri网的工作流建模已经得到了广泛的研究和应用。已有的研究工作主要集中在以下方面：（1）Petri网的基础理论研究。Petri网是一个基于时间、空间、结构等综合概念的多维数学模型。在Petri网中，每个节点代表了一个

2024-04-28 约1.41千字 3页立即下载

基于高级Petri网的柔性工作流模型映射的开题报告.docx 基于高级Petri网的柔性工作流模型映射的开题报告一、选题背景随着信息技术的快速发展，传统的生产与管理模式已经不能满足现代企业的发展需求。柔性工作流引入了“人、机、料”的全面协作，同时还能够快速响应市场需求，提高企业的生产效率和竞争力。因此，在信息化时代，建立柔性工作流成为企业提高工作效率的关键因素。在构建柔性工作流过程中,建立复杂工程系统建模是非常重要的，因为它可以为系统架构的优化、可扩展性和可维护性提供有效的支持。高级Petri网具有描述系统行为、探测控制系统故障、提高系统可靠性的优势，因此成为工作流描述的重要工具。本研究基于高级Petri网，将研究如何构建柔性工作流模型映射。二、

2024-01-07 约1.01千字 2页立即下载

一种petri网工作流模型存储结构定义方法.pdf

2018-08-04 约小于1千字 8页立即下载

基于Petri网模型的归结自动推理研究的任务书.docx 基于Petri网模型的归结自动推理研究的任务书一、背景 Petri网是描述系统结构和变化过程的一种强大的图形语言，Petri网模型广泛应用于业务流程管理、并行计算、网络通讯和协议分析等领域。在归结自动推理领域，Petri网模型可以用于系统规范的建立和分析，从而实现系统正确性验证和故障诊断。本研究旨在通过研究基于Petri网模型的归结自动推理方法，实现对系统可靠性的评估和验证。二、研究目标 1、研究基于Petri网模型的归结自动推理方法，建立一个可靠的系统规范模型。 2、研究基于归结自动推理方法的系统正确性验证和故障诊断技术，实现对系统可靠性的评估和验证。 3、设计并实现一个基于Petri

2024-03-19 约1.08千字 2页立即下载

基于Petri网的WEB应用的模型检查的研究和应用的开题报告.docx 基于Petri网的WEB应用的模型检查的研究和应用的开题报告一、研究背景 Petri网作为一种图形化的工具，可以描述并发系统行为和状态变化，被广泛应用于系统建模和分析。而WEB应用的开发越来越受到重视，在WEB应用的开发和运行过程中，可能会涉及到并发、状态变换等问题，因此，将Petri网应用于WEB应用的模型检查是一个重要的课题。二、研究内容本研究将研究基于Petri网的WEB应用的模型检查方法，主要包括以下内容： 1. 基于Petri网的WEB应用建模方法。将WEB应用的组成部分进行抽象，将其转换为Petri网模型，建立WEB应用的Petri网模型。 2. Petri网模型语义分析。对

2023-11-24 约1.06千字 2页立即下载

基于Petri网的WEB应用的模型检查的研究和应用的开题报告.pdf 基于Petri网的WEB应用的模型检查的研究和应用的开题报告一、研究背景 Petri网作为一种图形化的工具，可以描述并发系统行为和状态变化，被广泛应用于系统建模和分析。而WEB应用的开发越来越受到重视，在 WEB应用的开发和运行过程中，可能会涉及到并发、状态变换等问题，因此，将Petri网应用于WEB应用的模型检查是一个重要的课题。二、研究内容本研究将研究基于Petri网的WEB应用的模型检查方法，主要包括以下内容： 1.基于Petri网的WEB应用建模方法。将WEB应用的组成部分进行抽象，将其转换为Petri网模型，建立WEB应用的Petri网模型。 2.Petri网模型语义

2024-09-16 约1.37千字 2页立即下载