|
|||||
|
|
Extended and improved slicing technologies for Petri nets |
|
| Affiliation: | [1]Department of Computer Science and Technology, Tongji University, Shanghai 201804, P. R. China [2]Key Lab of Embedded System and Service Computing, Ministry of Education, Tongji University, Shanghai 201804, P. R. China |
| Abstract: | |
| Keywords: | Petri nets slice model reduction local reachability graph |
| 本文献已被 维普 等数据库收录！ | |