For the most recent entries see the Petri Nets Newsletter.

Branching Processes of general S/T-Systems and their properties.

Haar, Stefan

In: Electronic Notes in Theoretical Computer Science, Vol. 18, pages 1-10. 1998. Available at

Abstract: We introduce an alternative occurrence net semantics of S/T-systems which allows for arbitrary markings and arc weights. Our definition, a branching version of Vogler's execution semantics, will work for general systems, including unbounded ones and arc weights greater than one. Also, the principles in constructing the unfolding are different, making the definition more general and, presumably, flexible to include future extensions to different net classes.

Keywords: Concurrency, Petri nets, branching processes.

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

Back to the Petri Nets Bibliography