Home

Jorg__Desel


Process semantics of Petri nets over partial algebra

Proving correctness of distributed algorithms using high-level Petri nets: A case study