View article

The theory of concurrency is a fruitful area of research, which has resulted in a wealth of formalisms for the description and study of concurrent processes. The unique feature of this book is that it unifies different views of concurrency rather than adding another view. The author does so in a clear and convincing fashion. The three views the author considers are Petri nets, process terms, and logical formulas. Process terms refer to an algebraic description of processes. For example, the equation X= abx describes a process that is repeatedly engaged in action a followed by action b. Logical formulas are trace-based; they are aimed at specifying the communication behaviors of the processes. The book starts with an introduction, in which the nature of the three views and their relationships are explained by means of a simple example. Of these three views, Petri nets, which describe the operational machine behavior of …