自动制造系统（Automated Manufacturing System,AMS）的活性研究是生产系统领域中的研究热点问题。对于自动制造系统而言,死锁是不可......

为了解决Petri网的可达性判定问题，提出了一种基于进程验证的可达性判定方法．通过分析Petri网基本进程段子段间偏序关系，该方法提出原......

结合CPEBSDL描述语言、Petri网可达图、Petri网进程等协议分析方法，提出一种基于通信协议建立Petri网模型的方法-PMA=CPEBSDL。该方......