License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.CONCUR.2016.14
URN: urn:nbn:de:0030-drops-61574
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2016/6157/
Go to the corresponding LIPIcs Volume Portal

Triebel, Marvin ; Sürmeli, Jan

Homogeneous Equations of Algebraic Petri Nets

pdf-format:
LIPIcs-CONCUR-2016-14.pdf (0.6 MB)

Abstract

Algebraic Petri nets are a formalism for modeling distributed systems and algorithms, describing control and data flow by combining Petri nets and algebraic specification. One way to specify correctness of an algebraic Petri net model "N" is to specify a linear equation "E" over the places of "N" based on term substitution, and coefficients from an abelian group "G". Then, "E" is valid in "N" iff "E" is valid in each reachable marking of "N". Due to the expressive power of Algebraic Petri nets, validity is generally undecidable. Stable linear equations form a class of linear equations for which validity is decidable. Place invariants yield a well-understood but incomplete characterization of all stable linear equations. In this paper, we provide a complete characterization of stability for the subclass of homogeneous linear equations, by restricting ourselves to the interpretation of terms over the Herbrand structure without considering further equality axioms. Based thereon, we show that stability is decidable for homogeneous linear equations if "G" is a cyclic group.

BibTeX - Entry

@InProceedings{triebel_et_al:LIPIcs:2016:6157,
  author =	{Marvin Triebel and Jan S{\"u}rmeli},
  title =	{{Homogeneous Equations of Algebraic Petri Nets}},
  booktitle =	{27th International Conference on Concurrency Theory (CONCUR 2016)},
  pages =	{14:1--14:14},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-017-0},
  ISSN =	{1868-8969},
  year =	{2016},
  volume =	{59},
  editor =	{Jos{\'e}e Desharnais and Radha Jagadeesan},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2016/6157},
  URN =		{urn:nbn:de:0030-drops-61574},
  doi =		{10.4230/LIPIcs.CONCUR.2016.14},
  annote =	{Keywords: Algebraic Petri Nets, Invariants, Linear Equations, Validity, Stability}
}

Keywords: Algebraic Petri Nets, Invariants, Linear Equations, Validity, Stability
Collection: 27th International Conference on Concurrency Theory (CONCUR 2016)
Issue Date: 2016
Date of publication: 24.08.2016

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI