ePrints

Infinite Process Semantics of Inhibitor Nets

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

Downloads

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

Abstract

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

URL: http://dx.doi.org/10.1007/11767589_16

DOI: 10.1007/11767589_16

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783540346999

Share