Toggle Main Menu Toggle Search

Open Access padlockePrints

Infinite Process Semantics of Inhibitor Nets

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.


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.

Publication metadata

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

Pages: 282-301

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

Publisher: Springer


DOI: 10.1007/11767589_16

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783540346999