Toggle Main Menu Toggle Search

Open Access padlockePrints

Causality Semantics of Petri Nets with Weighted Inhibitor Arcs

Lookup NU author(s): Professor Henriette Kleijn, Professor Maciej KoutnyORCiD


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


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 nonalgorithmic (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.

Publication metadata

Author(s): Kleijn HCM, Koutny M

Editor(s): Brim, L., Jancar, P., Kretínský, M., Kucera, A.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 13th International Conference on Concurrency Theory (CONCUR)

Year of Conference: 2002

Pages: 531-546

ISSN: 0302-9743 (Print) 1611-3349 (Online)

Publisher: Springer-Verlag


DOI: 10.1007/3-540-45694-5_35

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783540440437