In: Electronic Notes in Theoretical Computer Science, Vol. 18, pages 1-10. 1998. Available at http://www.elsevier.nl/locate/entcs/volume18.html.
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.
Back to the Petri Nets Bibliography