For the most recent entries see the Petri Nets Newsletter.

Satisfiability of High-Level Conditions.

Habel, Annegret; Pennemann, Karl-Heinz

In: Lecture Notes in Computer Science : Graph Transformations, 2006, pages 430-444. 2006. URL:

Abstract: In this paper, we consider high-level structures like graphs, Petri nets, and algebraic specifications and investigate two kinds of satisfiability of conditions and two kinds of rule matching over these structures. We show that, for weak adhesive HLR categories with class A of all morphisms and a class M of monomorphisms, strictly closed under decompositions, A - and M -satisfiability and A - and PM -matching are expressively equivalent. The results are applied to the category of graphs, where M is the class of all injective graph morphisms.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography