Petir网相关论文
提出了一种利用Petri网为FMS建模的方法,通过对FMS加工过程的分析,将系统物理对象划分为工件类和资源类,给出了对象子网和对象子网同......
<正> 定义2-3对带有标记μ的状态Petri网,任一转移t_j当是能动时,则它可以被触发。触发一能动转移t_j后导致一新的标记μ′,则μ′......
本文讨论用于资源共享的形式化技术,共享资源的形式化方法,研究共享资源遇到的问题和解决方法.......