**Reachability Criterion with Sufficient Test Space for Ordinary Petri Net**

Gi Bum Lee, Han Zandong and Jin S. Lee

Additional information is available at the end of the chapter

http://dx.doi.org/10.5772/50518
