Diagnosis of large active systems 论文

1999Artificial Intelligence引用 270
Petri Nets in System ModelingSoftware Testing and Debugging Techniques