In: L. Brim, P. Jancar, M. Kretínský, A. Kucera (Eds.): CONCUR 2002 - Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 20-23, 2002, pages 1-531pp. Springer Verlag, LNCS 2421, September 2002.
Abstract: A causality semantics for weighted Place/Transition nets with weighted inhibitor arcs (PTI-nets) is proposed, by extending the standard approach based on the process semantics given through net unfolding and occurrence nets. It is demonstrated how processes corresponding to step sequences of PTI-nets can be constructed, and a non-algorithmic (axiomatic) characterisation is given of the processes that can be obtained in this way. Moreover, a framework is established allowing to separately consider behaviours, processes and causality, in order to facilitate the discussion of their mutual consistency for different Petri net classes.
Keywords: theory of concurrency; Petri nets; weighted inhibitor arcs; causality semantics; occurrence nets; step sequences..