Homogeneous Equations of Algebraic Petri Nets

  title={Homogeneous Equations of Algebraic Petri Nets},
  author={M. Triebel and Jan S{\"u}rmeli},
  • M. Triebel, Jan Sürmeli
  • Published 2016
  • Mathematics, Computer Science
  • ArXiv
  • 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… CONTINUE READING
    8 Citations
    Explorer Linear Combinations of Unordered Data Vectors
    • PDF
    Soundness Verification of Decision-Aware Process Models with Variable-to-Variable Conditions
    • P. Felli, M. Leoni, M. Montali
    • Computer Science
    • 2019 19th International Conference on Application of Concurrency to System Design (ACSD)
    • 2019
    • 2
    DB-Nets: On the Marriage of Colored Petri Nets and Relational Databases
    • 31
    • PDF
    Formalizing Application Integration Patterns
    • 8
    • PDF
    Preserving Data Integrity in Distributed Systems
    Linear combinations of unordered data vectors
    • P. Hofman, J. Leroux, P. Totzke
    • Mathematics, Computer Science
    • 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
    • 2017
    • 6
    • PDF
    Similarity-Based Approaches for Determining the Number of Trace Clusters in Process Discovery
    • 2


    Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies
    • 255
    • PDF
    Weak Time Petri Nets Strike Back!
    • 16
    • PDF
    Reduction Rules for Colored Workflow Nets
    • 23
    • PDF