Toggle Main Menu Toggle Search

Open Access padlockePrints

Infinite Process Semantics of Inhibitor Nets

Lookup NU author(s): Professor Maciej KoutnyORCiD



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 PTI-nets.

Publication metadata

Author(s): Kleijn HCM, Koutny M

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2005

Pages: 26

Print publication date: 01/11/2005

Source Publication Date: November 2005

Report Number: 932

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne