自动制造系统Petri网模型中的分叉操作库所.pdfVIP

2010年 11月 吉林师范大学学报(自然科学版) No．4 第 4期 JournalofJilinNormalUniversity(NaturalScienceEdition) NOV．2010 自动制造系统 Petri网模型 中的分叉操作库所 岳 昊 ，李文杰2， (1．漳州师范学院 计算机科学与工程系，福建 漳州 3630000； 2．山东科技大学机 电学院，山东青岛266510；3．西北核技术研究所，陕西 西安 710065) 摘 要 ：在自动制造系统Petri网模型中，分叉操作库所是资源变迁回路 (Resource-TransitionCircuit，简称RTC)发 生不完美性的根源．若没有分叉操作库所 ，则所有的RTC都是完美的．对于一个资源子集 R，若存在 以R 为资 源集的RTC，则 0=R1，(·R1nR1·)就是以R1为资源集的完美极大资源变迁回路 (PerfectMaximalResource- TransitionCircuit，简称 PMRTC)． 关键词