Complete process semantics for inhibitor nets

  • Authors:

  • Gabriel Juhás;Robert Lorenz;Sebastian Mauser

  • Affiliations:

  • Faculty of Electrical Engineering and Information Technology, Slovak University of Technology, Bratislava, Slovakia;Department of Applied Computer Science, Catholic University of Eichstätt-Ingolstadt;Department of Applied Computer Science, Catholic University of Eichstätt-Ingolstadt

  • Venue:
  • ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper we complete the semantical framework proposed in [13] for process and causality semantics of Petri nets by an additional aim and develop process and causality semantics of place/transition Petri nets with weighted inhibitor arcs (pti-nets) satisfying the semantical framework including this aim. The aim was firstly mentioned in [8] and states that causality semantics deduced from process nets should be complete w.r.t. step semantics in the sense that each causality structure which is consistent with the step semantics corresponds to some process net. We formulate this aim in terms of enabled causality structures. While it is well known that process semantics of place/transition Petri nets (p/t-nets) satisfy the additional aim, we show that the most general process semantics of pti-nets proposed so far [13] does not and develop our process semantics as an appropriate generalization.