7 search results - page 2 / 2 » Analysis of Approximate Petri Nets by Means of Occurrence Gr... |
ENTCS
2008
13 years 4 months ago
2008
We describe the design and the present state of the verification tool Augur 2 which is currently being developed. It is based on Augur 1, a tool which can analyze graph transforma...
PODS
2010
ACM
13 years 10 months ago
2010
ACM
For many problems arising in the setting of graph querying (such as finding semantic associations in RDF graphs, exact and approximate pattern matching, sequence alignment, etc.)...