This work investigates the theory of concurrent systems through the lens of partially-ordered sets, drawing heavily on Petri net theory. The author examines general properties of posets and their direct relationships with the characteristics of concurrent systems, providing a rigorous theoretical framework for understanding complex computational processes.

The book is a technical monograph focused on theoretical computer science, specifically concurrency theory. Its subject matter suggests a dense, specialist text aimed at researchers and advanced students in the field. The detailed examination of formal methods like Petri nets and partially-ordered sets indicates a rigorous approach to understanding computational processes.