filmov
tv
GReTA seminar #13: 'From Petri Nets to Graph Rewriting Systems'
Показать описание
Speaker: Andrea Corradini (Computer Science Department, University of Pisa, Italy)
Abstract:
Graph rewriting systems are naturally endowed with a notion of parallelism due to the locality of the effect of rules. These aspects have been studied in the classical theory from an interleaving perspective, based on sequential independence, shift equivalence and related notions. In the last three decades the theory has been enriched with notions, constructions and results which provide a direct account of causality and non-determinism in graph derivations, borrowed from (and extending) the theory of Petri Nets. In the talk I will present a personal overview of the development of this theory starting from the basic structural relation between nets and graph rewriting systems, and I will survey some more recent developments.
About the GReTA seminars:
Abstract:
Graph rewriting systems are naturally endowed with a notion of parallelism due to the locality of the effect of rules. These aspects have been studied in the classical theory from an interleaving perspective, based on sequential independence, shift equivalence and related notions. In the last three decades the theory has been enriched with notions, constructions and results which provide a direct account of causality and non-determinism in graph derivations, borrowed from (and extending) the theory of Petri Nets. In the talk I will present a personal overview of the development of this theory starting from the basic structural relation between nets and graph rewriting systems, and I will survey some more recent developments.
About the GReTA seminars:
1:31:30
1:00:19
1:16:20
1:26:26
0:59:40
1:18:10
1:19:35
1:17:06
1:17:40
1:13:36
1:17:11
0:21:42
1:20:16
1:11:55
1:31:00
1:30:15
1:07:05
1:22:47
1:24:01
1:12:01
1:58:41
0:25:53
1:17:26
1:23:15