Lookup NU author(s): Professor Henriette Kleijn,
Professor Maciej Koutny
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.
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
ISSN: 0302-9743 (Print) 1611-3349 (Online)
Library holdings: Search Newcastle University Library for this item
Series Title: Lecture Notes in Computer Science