Object-oriented representation of hierarchical graphs
Fundamentalʹnaâ i prikladnaâ matematika, Tome 10 (2004) no. 4, pp. 159-170
We introduce the concept of $\mathrm{C}_0 $-systems, which can be used to represent syntactic objects of graph-based formal systems with inheritance.
@article{FPM_2004_10_4_a9,
author = {A. E. Pentus and M. R. Pentus},
title = {Object-oriented representation of hierarchical graphs},
journal = {Fundamentalʹna\^a i prikladna\^a matematika},
pages = {159--170},
year = {2004},
volume = {10},
number = {4},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/FPM_2004_10_4_a9/}
}
A. E. Pentus; M. R. Pentus. Object-oriented representation of hierarchical graphs. Fundamentalʹnaâ i prikladnaâ matematika, Tome 10 (2004) no. 4, pp. 159-170. http://geodesic.mathdoc.fr/item/FPM_2004_10_4_a9/
[1] Pentus A. E., Pentus M. R., “Ob'ektno-orientirovannoe predstavlenie ierarkhicheskikh setei Petri”, Fundam. i prikl. mat., 6:3 (2000), 831–840 | MR | Zbl
[2] Harel D., “Statecharts: a visual formalism for complex systems”, Sci. Comput. Programming, 8 (1987), 231–274 | DOI | MR | Zbl
[3] Harel D., “On visual formalisms”, Comm. ACM, 31 (1988), 514–530 | DOI | MR
[4] Oswald H., Esser R., Mattmann R., “An environment for specifying and executing hierarchical Petri nets”, IEEE 12th International Conference on Software Engineering, IEEE, Nice, 1990
[5] Petri C. A., Kommunikation mit Automaten. Schriften des IIM Nr. 2, Institut für Instrumentelle Mathematik, Bonn, 1962 | MR