For the most recent entries see the Petri Nets Newsletter.

An Axiomatic Characterisation of an Algebra of Processes.

Borowik, P.; Korczynski, W.; Kudla, T.

In: Algebra, Combinatorics and Logic in Computer Science, Vol. I, pages 141-150. Amsterdam, New York: North Holland, 1986.

Abstract: The paper modifies a model of parallel processes introduced by C. A. Petri using an independence relation in the sense of Marczewski, which is discussed in the field of universal algebra. It is stated that this model of parallelism is adequate for modelling both discrete and continuous processes.


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

Back to the Petri Nets Bibliography