For the most recent entries see the Petri Nets Newsletter.

A Simple Definition for Parallel Composition of Prime Event Structures.

Vaandrager, Frits W.

Progress Report CS-R--8903. CWI Amsterdam, Centre for Mathematics and Computer Science, Dept. of Algorithmics & Architecture, March 1989.

Abstract: A simple, non-inductive construction is presented for parallel composition of prime event structures with binary conflict. It is shown that the construction determines the same operation as the categorical construction of Winskel by proving that it is a product in the category of prime event structures with binary conflict.

Keywords: parallel composition; prime event structure; conflict, binary; product (in) category.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography