For the most recent entries see the Petri Nets Newsletter.

Infinite Process Semantics of Inhibitor Nets.

Kleijn, H. C. M.; Koutny, M.

In: Lecture Notes in Computer Science : Petri Nets and Other Models of Concurrency - ICATPN 2006, Volume 4024, 2006, pages 282-301. 2006. URL: http://dx.doi.org/10.1007/1176758916.

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.

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


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography