Reachability Criterion with Sufficient Test Space for Ordinary Petri Net - Lee, Gi Bum; Zandong, Han; Lee, Jin S. (IntechOpen, 2012)
None