conference paper
Graph Transformation and Other Rule-Based Formalisms with Incomplete Information
Hartmut
Ehrig
author
Reiko
Heckel
author
Julia
Padberg
author
Grzegorz
Rozenberg
author
66
department
A general framework is presented for extending graph transformation and other rule-based formalisms in such a way that transformations with incomplete information can be handled. This extension is motivated by the need to model the behaviour of open systems in different application areas using graph transformations and Petri nets. The following two problems are central within this general framework. 1. Characterization of transformations with incomplete information. 2. Recovery of information from incomplete transformations. A solution for these problems is presented for algebraic graph transformations and Petri nets using the new concepts of graph transitions based on double pullbacks and open nets based on autonomous actions for open places. Moreover, the problems are discussed for DNA-computing and other rule-based formalisms.
1998
eng
Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)
Ehrig, Hartmut, et al. “Graph Transformation and Other Rule-Based Formalisms with Incomplete Information.” <i>Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>, 1998.
@inproceedings{Ehrig_Heckel_Padberg_Rozenberg_1998, title={Graph Transformation and Other Rule-Based Formalisms with Incomplete Information}, booktitle={Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)}, author={Ehrig, Hartmut and Heckel, Reiko and Padberg, Julia and Rozenberg, Grzegorz}, year={1998} }
H. Ehrig, R. Heckel, J. Padberg, and G. Rozenberg, “Graph Transformation and Other Rule-Based Formalisms with Incomplete Information,” in <i>Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>, 1998.
Ehrig H, Heckel R, Padberg J, Rozenberg G. Graph Transformation and Other Rule-Based Formalisms with Incomplete Information. In: <i>Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>. ; 1998.
Ehrig, Hartmut, Reiko Heckel, Julia Padberg, and Grzegorz Rozenberg. “Graph Transformation and Other Rule-Based Formalisms with Incomplete Information.” In <i>Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>, 1998.
Ehrig, H., Heckel, R., Padberg, J., & Rozenberg, G. (1998). Graph Transformation and Other Rule-Based Formalisms with Incomplete Information. In <i>Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>.
H. Ehrig, R. Heckel, J. Padberg, G. Rozenberg, in: Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany), 1998.
82832019-03-04T12:25:51Z2019-03-04T12:33:23Z