DMCA
On the computation of place invariants for algebraic Petri nets (1995)
by
Karsten Schmidt
| Venue: | Proceedings of the STRICT workshop |
| Citations: | 1 - 1 self |
BibTeX
@INPROCEEDINGS{Schmidt95onthe,
author = {Karsten Schmidt},
title = {On the computation of place invariants for algebraic Petri nets},
booktitle = {Proceedings of the STRICT workshop},
year = {1995}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
The paper is concerned with the computation of a generator set for the space of all place invariants for a given algebraic net. We will show that the problem can be divided into two major steps. First we trace back the problem to a set of equations between terms. Then we combine the solutions of these equations to obtain the solution of the original problem. For both steps we present a solution for a restricted class of algebraic nets, where the algebraic specification contains no equations and at most unary operation symbols. 1
