Petri网作为一种将图形描述与数学分析相结合的工具,特别适合对离散事件系统进行建模、分析和控制。Petri网用于制造系统建模的一个优势就是它可以简单准确地对系统中的并发、冲突、因果等特性进行描述。相较与其它方法,从结构角度对系统进行分析主要有两个优点:并发系统中的状态爆炸问题能够得以避免;对系统结构和行为之间的关系进行研究可对系统本身有更深刻的理解。系统的活性和信标之间有着非常密切的联系。本文从K-系统的结构和行为角度出发,对其信标和活性之间的关系进行了研究,在K-系统现有结构条件基础上,提出一种新的充分的结构条件:当一个网在结构上满足该条件时,可以确定该网的可控信标性和活性等价。在一定程度上扩展了具有上述特性的网的结构范围。面向过程的自动制造系统往往要求不同加工过程之间能够进行信息交互,通过合作共同完成某个任务。然而在一些柔性制造系统中,加工过程之间的交互仅仅局限于共享的资源库所。本文以S~3PR网为模型,对其不同加工过程之间的同步进行研究,不同加工过程之间通过异步的传递信息进行交互从而实现合作的目的。采用添加消息库所的方式对S~3PR网内部过程进行同步,通过将其构造成死闭合系统,使其保持活性和可控信标性的等价关系。通过研究同步前后各子系统内部可达状态变化情况,给出具有不同生产能力的系统同步时应遵循的一般规律。同步时应尽可能让加工能力强的系统主动发送消息,加工能力弱的系统被动接收消息,从而最大化利用各子系统的生产能力,提高生产效率。信息是物流系统中必不可少的组成部分,本文采用添加消息库所同步系统的方式对物流系统建立了模型。该模型采用自底向上的建模方法,系统有着明显的层级结构,充分展现了信息在不同子系统之间是如何传递的,各个子系统通过消息库所进行信息交互,从而通过合作共同完成物流配送任务。