Results 1 -
2 of
2
Application of Graph Transformation Techniques to the Area of Petri Nets: An Overview (Extended Abstract)
- Proc. AGT 2002: APPLIGRAPH Workshop on Applied Graph Transformation
, 2002
"... B. Braatz, H. Ehrig, K. Homann, J. Padberg, M. Urbasek Technical University Berlin, Germany Institute for Software Technology and Theoretical Computer Science fbbraatz, ehrig, hoffmann, padberg, urbasekg@cs.tu-berlin.de 1 Aims and ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
B. Braatz, H. Ehrig, K. Homann, J. Padberg, M. Urbasek Technical University Berlin, Germany Institute for Software Technology and Theoretical Computer Science fbbraatz, ehrig, hoffmann, padberg, urbasekg@cs.tu-berlin.de 1 Aims and
Preserving Liveness with Rule-Based Refinement of . . .
, 2002
"... The focus of this paper is to endow stepwise modification of nets with refinement that preserves liveness. Modification of nets uses rules that allow substituting subnets of the left hand side by subnets of the right hand side of the rule. Such rules are then restricted so that the liveness is prese ..."
Abstract
- Add to MetaCart
The focus of this paper is to endow stepwise modification of nets with refinement that preserves liveness. Modification of nets uses rules that allow substituting subnets of the left hand side by subnets of the right hand side of the rule. Such rules are then restricted so that the liveness is preserved. Rule-based
