Sciweavers

Share
LATA
2010
Springer
12 years 8 months ago
Language-Based Comparison of Petri Nets with Black Tokens, Pure Names and Ordered Data
We apply language theory to compare the expressive power of models that extend Petri nets with features like colored tokens and/or whole place operations. Speci´Čücally, we conside...
Fernando Rosa Velardo, Giorgio Delzanno
CAV
2008
Springer
143views Hardware» more  CAV 2008»
12 years 11 months ago
Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems
We show how to view certain subclasses of (single-pushout) graph transformation systems as well-structured transition systems, which leads to decidability of the covering problem v...
Salil Joshi, Barbara König
books