Infinite Process Semantics of Inhibitor Nets (2006)

Author(s): Kleijn HCM, Koutny M

    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.

      • Date: 26-30 June 2006
      • 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)
      • Volume: 4024
      • Pages: 282-301
      • Publisher: Springer
      • Publication type: Conference Proceedings (inc. abstract)
      • Bibliographic status: Published

      Keywords: theory of concurrency, Petri nets, weighted inhibitor arcs, causality semantics, infinite processes, occurrence nets, step sequences

      Staff

      Professor Maciej Koutny
      Professor of Computing Science