%0 Journal Article %T petri网精细化操作及其在系统设计中的应用 %A 夏传良? %A 焦莉? %A 陆维明? %J 软件学报 %P 11-19 %D 2006 %X 针对柔性制造系统的设计问题,提出了用petri网精细化操作解决问题的方案.给出了两种精细化操作.研究了petri网精细化操作的动态性质保持问题,给出了精细化操作保持活性、有界性、可回复性的充分必要条件;对一个柔性制造系统进行了设计和验证.其结果可为petri网系统静态和动态性质的考察提供有效途径,为petri网复杂大系统的分析提供重要手段,并特别适合于柔性制造系统的设计,具有一定的实用价值. %K petri网 %K 精细化操作 %K 活性 %K 有界性 %K 系统设计 %U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=20060102&flag=1