Event Structure Semantics for Dynamic Contextual Nets ?

Petri nets and Graph Transformation Systems (GTSs) are two well-known models for concurrent systems. Petri nets, conceptually simpler, had became a reference model for experimenting with and developing new semantic approaches to concurrency, notably non-sequential processes, unfolding constructions, event structures and algebraic models. Graph… CONTINUE READING