Reachability determination for a non-syntactic subclass of vector replacement systems (Petri nets)
Main Author: | |
---|---|
Published: |
2013
|
Online Access: | http://hdl.handle.net/1993/15086 |
Main Author: | |
---|---|
Published: |
2013
|
Online Access: | http://hdl.handle.net/1993/15086 |