Nonsequential Processes : a Petri Net View /

The theory of the processes of concurrent systems is studied using partiallyordered sets. The study is based on Petri net theory. General properties of posets and their relations with properties of concurrent systems are examined.

Bibliographic Details

Main Author:	Best, Eike
Corporate Author:	SpringerLink (Online service)
Other Authors:	Fernández, César C.
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 1988.
Series:	EATCS monographs on theoretical computer science ; 13.
Subjects:	Computer science. Logic design. Combinatorial analysis. Electronic books.
Online Access:	Connect to the full text of this electronic book