Advances in Petri nets 1986, part II on Petri nets: applications and relationships to other models of concurrency
Handbook of graph grammars and computing by graph transformation: vol. 3: concurrency, parallelism, and distribution
A Static Analysis Technique for Graph Transformation Systems
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
ESM Systems and the Composition of Their Computations
Proceedings of the International Workshop on Graph Transformations in Computer Science
Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems
ICGT '02 Proceedings of the First International Conference on Graph Transformation
On the semantics of place/transition Petri nets
Mathematical Structures in Computer Science
Explicit State Model Checking for Graph Grammars
Concurrency, Graphs and Models
Processes for adhesive rewriting systems
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
Termination analysis of model transformations by petri nets
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Hi-index | 0.00 |
The Workshop on Petri Nets and Graph Transformations, which is currently at its third edition, is focused on the mutual relationship between two prominent specification formalisms for concurrency and distribution, namely Petri nets and graph transformation systems. It belongs to folklore that Petri nets can be seen as rewriting systems over (multi)sets, the rewriting rules being the transitions, and, as such, they can be seen as special graph transformation systems, acting over labelled discrete graphs. The basic notions of Petri nets such as marking, enabling, firing, steps and step sequences can be naturally "translated" to corresponding notions of graph transformation systems. Due to this close correspondence there has been a mutual influence between the two fields, which has lead to a fruitful cross-fertilisation.