Petri网理论及其在食品工业中的应用

Ｐｅｔｒｉ网是用于描述和分析异步并发系统的最常用的形式模型之一，本文给出了赋时着色Ｐｅｔｒｉ网和赋时连续Ｐｅｔｒｉ网，通过扩展上述模型，得到具有层次的Ｐｅｔｒｉ网，探讨了层次结构Ｐｅｔｒｉ网在现代食品工业企业中的应用，包括生产线的建模和分析，以及后勤系统的设计。     

一种基于赋时Colored Petri网的工作流模型

工作流管理技术是20世纪90年代初新兴起的软件技术，其实现的关键在于工作流概念模型的建立。论文选择赋时Colored Petri网(Timed Colored Petri Net)作为工作流建模的主要工具，为了实现用Petri网来建立工作流模型，对petri网做了适当的扩展以适应模型管理。最后通过1个案例进一步阐述了基于Petri网的工作流建模技术。     

卡尔文循环的Petri网模型研究

介绍了基本的Petri网模型,并建立了生化反应模型的时延Petri网,再运用Petri网建立了卡尔文循环的Petri网模型,最后分析了卡尔文循环的总反应式,并说明了此模型的可达性。     

扩展Petri网及其子划分

Petri网是由德国的Carl Adam Petri提出,后来由Peterson加以阐述.它是1种适用于多种系统的图形化、数学化建模工具,为描述和研究具有并行、异步、分布式和随机性等特征的信息加工系统提供了强有力的手段,但用Petri网建模有其局限性,本文就其局限性提出一些扩展方法,最后提出Petri网的子划分.     

基于分布式物联网的工业自动化安全性分析

借助现代嵌入式平台不断扩展的计算和通信功能,物联网技术可重构制造系统开发。基于控制解释型Petri网(CIPN)的顺序控制应用程序安全感知建模和验证,将工业物联网控制器的CIPN模型转换为TPN模型,并与工厂和安全感知通道模型耦合,在基于网络的攻击中实现系统级的安全性能验证。在实际应用案例中评估了该模型:当发生攻击时,通过在收发器上启用载波传输,可以从浸泡池中拾取工件后阻塞消息,证明已开发的安全自动化框架在分布式气动机械手上的适用性。     

基于Petri网的一种停止-等待协议的形式建模

基于Petri网的建模方法具有坚实的数学基础和直观的图形表示,是对通信协议建模和分析的理想工具．通过对计算机网络通信中的停止一等待协议的描述．提出一个基于Petri网的停止等待协议的形式建模．     

基于工作流网的打假工作流模型设计与验证

借助于某企业打假管理工作流程实例,利用工作流管理思想对打假流程进行分析,介绍了工作流网的概念、基本组件及触发机制,设计了打假工作流模型,并对模型正确性进行了验证分析,以求对打假工作信息化提供启示.     

一种资源分配方案及其Petri网模型

优先级策略是最常用的资源分配方案，分析了优先级策略的不足，在此基础上，提出了一种临界值优先级资源分配方案，并建立了它的Petri网模型。     

通信协议形式验证中的Petri网方法

Petri网,尤其是扩充类的Petri网对通信协议有很强的模拟能力.同时,Petri网能支持十分有效的验证技术.本文分析了需要验证的协议性质,提出了用线性不变量和标志机状态法全面分析这些性质的综合验证方法,并给出了对HDLC通信协议的验证实例.     

任务调度问题的Petri网模型及其分析

提出任务调度问题的Petri网模型及其构造方法,给出了求解该Petri网模型的主任务线的方法,提出了并发段的概念,在此基础上计算出该任务调度问题所需处理机的最小台数.     

Petri网系统中变迁的分级活性判定

活性(liveness)是Petri网的基本性质之一。从Petri网系统的有效(受控)可重复向量出发,给出一般Petri网系统中变迁为2级活或是3级活的判定依据。对于一个变迁t而言,t是二级活的,当且仅当存在一个有效(受控)可重复向量X,X有一个分量大于零;t是三级活的,当且仅当存在一个有效可重复向量X,X有一个分量大于零。最后,用实例说明判断方法的可使用性。     

基于Petri网的高校创收跟踪审计系统主控模块工作流建模

1920年代旧派文人的都市言情小说对古代“士子和青楼妓女”和“才子佳人”两大言情模式既有沿袭又有变异：前者从晚清民初对都市恶性的审美体验中挣脱出来，对妓女产生人道主义同情，出现了和“才子佳人”言情传统合流的趋势；后者聚焦于真情难觅的“哀情”和在都市金钱主义和新思潮驱使下萌生的种种“怪情”，写世俗、平庸的男女之情。     

遮光对夏秋茶品质效应的影响概述

探讨了遮光对茶树生理和夏秋茶生化成分的影响,并对使用不同颜色的遮阳网对茶园进行覆盖后茶叶各化学成分的不同变化及原因作了概述。     

采用Petri网进行修正的启发式船舶电网拓扑分析

针对船舶电力系统的特点，采用一种启发式电力网络进行拓扑分析模型建立以确定电力系统网络拓扑，在此基础上借鉴电力系统故障诊断的方法,采用Petri网技术对电网进行故障定位以及对不确定信号的诊断与排除，对拓扑分析结果进行修正，以保证拓扑分析的正确性。最后以典型船舶电力系统网络为例，验证了该方法的有效性。     

土地利用－作物生产系统模拟研究进展

对土地利用一作物生产系统模拟研究方面的国内外最新进展进行了综述。主要讨论了近20年来人们对土地利用一作物生产系统的系统性，层次性与动态性的认识，国内外已建立的模型及其评述，本领域研究的最新特点，最后对这一领域的研究进行了展望并对我国在这方面的研究策略提出了见解。