Sciweavers

FASE
1998
Springer
14 years 3 months ago
Compositional Verification of Reactive Systems Specified by Graph Transformation
A loose semantics for graph transformation rules which has been developed recently is used in this paper for the compositional verification of specifications. The main conceptual t...
Reiko Heckel
BIRTHDAY
2005
Springer
14 years 4 months ago
Loose Semantics of Petri Nets
Abstract In this paper, we propose a new loose semantics for place/transition nets based on transition systems and generalizing the reachability graph semantics. The loose semantic...
Julia Padberg, Hans-Jörg Kreowski