关于Petri网系统S-补相关定理的补充证明及其分析  

Additional Theorem Proving and Analysis of S-Complement in the Petri Net

作　　者：刘石坚[1] 乐晓波[1] 邹峥[1] 

机构地区：[1]长沙理工大学计算机与通信工程学院,长沙410076

出　　处：《系统仿真学报》2008年第S2期1-5,共5页Journal of System Simulation

基　　金：湖南省自然科学基金项目(08JJ3124)

摘　　要：对于Petri网而言,冲撞代表着不安全,它是由于空间资源的缺少而引出的一种基本现象。人们寻找到避免冲撞的发生办法是为网系统添加补库所即做S-补。就Petri网系统做S-补的相关定理进行了补充性的证明及举例分析。Contact meant some kinds of unsafe for Petri net.It is a phenomenon reduced by lack of space resources.People used to add Complement Place into the net system as the way to avoid the contact,videlicet,S-complement.In this article,some additional theorem proving and analysis of S-complement in the Petri net has been given.

关 键 词：PETRI网 S-补 情态集 行为等价 

分 类 号：TP301.1[自动化与计算机技术—计算机系统结构]