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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
J.M. Couvreur. The general computations of flows for coloured nets. Proc. of the 11th Int. Workshop on Appl. and Theory of Petri Nets, 1990.
J.M. Couvreur, J. Martinez. Linear invariants in commutative high level nets. High-level Petri nets, Theory and Application, 1991.
H. Ehrig, B. Mahr. Fundamentals of Algebraic Specifications 1. EATCS Monographs on Theor. Comp. Science 6. Springer 1985.
H. Genrich, K. Lautenbach. S-invariance in Pr/T-nets. Informatik-Fachberichte, (66), 1983.
S. Haddad, J.M. Couvreur. Towards a general and powerful computation of flows for parameterized coloured nets. Proc. of the 9th European Workshop on Appl. and Theory of Petri Nets, 1988.
K. Jensen. Coloured Petri nets and the invariant-method. Theor. Comp. Science, 14: 317–336, 1981.
K. Jensen. How to find invariants for coloured Petri nets. LNCS, 118: 327–338, 1981.
K. Lautenbach, A. Pagnoni. Invariance and duality in predicate/transition nets and in coloured nets. Arbeitspapiere der GMD, 132, 1985.
G. Memmi, J. Vautherin. Analysing nets by the invariant method. In: Rozenberg, Brauer, Reisig (eds.), Advances in Petri nets 1986, pages 300–336, 1987.
W. Reisig. Petri nets and algebraic specifications. Theor. Comp. Science, 80 (1991): 1–34.
K. Schmidt. T-invariants of algebraic petri nets. Informatik-Bericht der HU Berlin, 31, 1994.
M. Silva, J. Martinez, P. Ladet, H. Alia. Generalized inverses and the calculations of symbolic invariants for coloured nets. High-level Petri nets, Theory and Application, 1991.
J. Vautherin. Parallel systems specification with colored Petri nets and abstract data types. Proc. of the 7th European Workshop on ATPN Oxford 1986, 5–23.
J. Vautherin. Calculation of semi-flows for Pr/T-systems. In T. Murata, editor, Int. Workshop on Petri Nets and Performance Models. IEEE Computer Society Press, 1987.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 British Computer Society
About this paper
Cite this paper
Schmidt, K. (1995). On the Computation of Place Invariants for Algebraic Petri Nets. In: Desel, J. (eds) Structures in Concurrency Theory. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3078-9_21
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3078-9_21
Publisher Name: Springer, London
Print ISBN: 978-3-540-19982-3
Online ISBN: 978-1-4471-3078-9
eBook Packages: Springer Book Archive