Extracting Concurrency from Transition Systems (original) (raw)

Extracting Concurrency from Transition Systems

Texts in Theoretical Computer Science. An EATCS Series, 2015

Abstract

In this chapter, we show that P/T-net synthesis may serve not only to obtain compact representations of initialized transition systems—by making explicit the concurrency of some events—but also to obtain distributed implementations thereof.

Eric Badouel hasn't uploaded this paper.

Let Eric know you want this paper to be uploaded.

Ask for this paper to be uploaded.