For the most recent entries see the Petri Nets Newsletter.

An Algebra of Processes.

Winkowski, J.; Maggiolo-Schettini, A.

In: Journal of Computer and System Sciences, Vol. 35, No. 2, pages 206-228. 1987.

Abstract: The authors introduce a general notion of abstract and concurrent processes. A process is characterized by the set of scenarios it can realize. These scenarios represent not only the input-output behaviours of processes but also some information on their internal structure. Since processes are concrete mathematical objects, together with some connecting operations, an algebra of processes is developed such that properties of operations can be derived directly from definitions and do not need to be assumed as axioms.


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

Back to the Petri Nets Bibliography