num_pages: 112
description: The theory of the processes of concurrent systems is studied using partially ordered sets. The study is based on Petri net theory. General properties of posets and their relations with properties of concurrent systems are examined.
language: English
title: Nonsequential Processes: A Petri Net View
titlecomplete: Nonsequential Processes: A Petri Net View (E A T C S MONOGRAPHS ON THEORETICAL COMPUTER SCIENCE)
publisher: Springer Verlag