Petri网是Carl Adam Petri于1962年在博士论文中首次提出来的。作为描述系统元素的异步并发操作的工作模型，Petri网在计算机等许多领域都获得了广泛的应用。 Petri网是完全从过程的角度出发为复杂系统的描述与分析设计提供的一种有效的建模工具，能自然的描述并发、冲突、同步、资源争用等系统特性，并带有执行...
《时段时序逻辑的Petri网模型》是依托清华大学，由林闯担任项目负责人的面上项目。项目摘要 本项目研究内容包括提出能描述不确定长时段时序逻辑及其Ｐｅｔｒｉ网模型，验证它的一致性和完备性；给出新时段时序逻辑的线性推理算法和时间Ｐｅｔｒｉ网模型压缩分析技术；新时段时序逻辑在工作流和多媒体通信同步中的应用。本...
《使用实例驱动的软交换业务生成时序着色Petri网模型》是依托华南理工大学，由陆以勤担任项目负责人的面上项目。项目摘要 软交换被认为是下一代网络（NGN）的核心技术之一。目前关于软交换的研究，大部分集中在体系结构和协议选取上，对业务生成和检测的建模研究滞后，而由于网络的变迁是个渐变的过程，当前软交换的生成...
主要包括：网络可生存性的形式化描述、基于随机Petri的网络可生存性综合建模技术、网络可生存性的模型组合及其化简技术以及基于随机模型的可生存性量化评价技术。研究成果将提供一套较为完善的网络可生存模型与分析的方法，量化可生存性程度，分析存在的问题。为制订相应的容错/容侵机制、策略提供依据，进而为电子商务、...
《柔性制造系统一般Petri网模型内在活性结构研究》是依托西安电子科技大学，由刘鼎担任项目负责人的青年科学基金项目。中文摘要 本项目致力于研究柔性制造系统一般Petri网模型中的活性结构和死锁控制问题。作为21世纪先进制造技术的重要组成部分，具有柔性的自动制造系统自诞生之日起就始终面临死锁问题。死锁会降低生产率，甚至...
《大规模定制服务系统的Petri网语义模型与关键技术研究》是依托同济大学，由丁志军担任项目负责人的面上项目。中文摘要 在满足用户个性化需求的同时而又不牺牲效益和成本，达到规模效应，提供大规模定制服务是SOC理论和技术面临的新挑战。针对上述挑战，面向大规模定制服务系统的设计与实施，本项目围绕多态服务的语义和表达...
大数据计算模式，即大数据分析与处理的抽象模型及方法论，是大数据计算方法和系统的设计与优化中的核心问题。本项目从大数据计算的特性出发，结合大数据计算系统等应用实例，从操作模式、服务模式和管控模式三个方面，研究大数据计算模式。基于随机Petri网等模型工具，给出普适的大数据计算模式的抽象模型。结合大数据计算中用户...
《基于Petri网的计算树逻辑模型检测》是2024年科学出版社出版的图书。内容简介 《基于Petri网的计算树逻辑模型检测》主要介绍原型 Petri 网、知识 Petri 网、带有优先级的时间 Petri网，用于对有限状态并发系统控制流、安全多方计算协议、多处理器抢占式实时系统等在一定层级上的抽象建模，如刻画并发、选择、冲突、多方...