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.
This paper is concerned with defining causality semantics for infinite executions of Petri nets with inhibitor arcs. We first show how one can deal with infinite step sequences and the corresponding occurrence nets (processes) and causal structures. We then discuss how to improve the succinctness of both finite and infinite processes generated from step sequences. In the latter case, the proposed constructions avoid infinite branching in the case of bounded nets.
Author(s): Kleijn HCM, Koutny M
Editor(s): Donatelli, S, Thiagarajan, PS
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: Petri Nets and Other Models of Concurrency: 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (ICATPN)
Year of Conference: 2006
ISSN: 0302-9743 (Print) 1611-3349 (Online)
Library holdings: Search Newcastle University Library for this item
Series Title: Lecture Notes in Computer Science