Details:
Title | Analysis for reachability of Petri net. | Author(s) | Zhihua Fan, Laurent Granvilliers, J. Hughes, Lanlan Liu, Changqing Wang, Wei Zhou | Type | Article in Journal | ISSN | 1000-9825 |
Language | English | Journal | J. Softw. | Volume | 15 | Number | 7 | Pages | 949--955 | Publisher | Editorial Board of Journal of Software, Institute of Software, Chinese Academy of Sciences, Beijing; | Year | 2004 | Edition | 0 | Translation |
No | Refereed |
No |
|