基于Petri网表示的嵌入式系统模型化简规则

基于Petri网表示的嵌入式系统模型化简规则

夏传良1,2+

Reduction rules for Petri Net based representation for embedded systems

XIA Chuanliang ^1,2+

计算机科学与探索 . 2008, (6): 614 -626 . DOI: 10.3778/j.issn.1673-9418.2008.06.005