Abstract
There is a net theoretical system model called Predicate Transition Nets (PrT-Nets) that describes distributed systems as first-order dynamic structures. A single PrT-net can present a whole family of related systems in the same way as a set of logical formulae may describe a whole family of (static) systems — the class of its set-theoretical models.
In this note two PrT-nets are called equivalent if they describe the same family of systems. A list of formal transformations (re-writing rules) for PrT-nets that are consistent with equivalence is presented. For a non-trivial subclass of PrT-nets this set of rules is shown to characterize equivalence; it is also complete.
Preview
Unable to display preview. Download preview PDF.
References
Albert, K.; Jensen, K.; Shapiro, R.: DESIGN/CPN — A Tool Package Supporting the Use of Coloured Petri Nets. Meta Software Corporation. Cambridge, MA (1989)
Brauer, W.; Reisig, W.; Rozenberg, G. (eds.): Petri Nets: Central Models and Their Properties. Advances in Petri Nets 1986, Part I. Lecture Notes in Computer Science 254. Springer 1987
Genrich, H.J.; Lautenbach, K.: System Modelling with High-Level Petri Nets. Theoretical Computer Science 13 (1981) 109–136
Genrich, H.J.: Projections of CE Systems. In: Advances in Petri Nets 1985, Lecture Notes in Computer Science 222. Springer 1986
Genrich, H.J.: Predicate/Transition Nets. In [2]
Jensen, K.: Coloured Petri Nets. In [2]
Shoenfield, J.R.: Mathematical Logic. Addison-Wesley 1967
Thiagarajan, P.S.: Elementary Net Systems. In [2].
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Genrich, H.J. (1990). Equivalence transformations of PrT-Nets. In: Rozenberg, G. (eds) Advances in Petri Nets 1989. APN 1988. Lecture Notes in Computer Science, vol 424. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-52494-0_30
Download citation
DOI: https://doi.org/10.1007/3-540-52494-0_30
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52494-6
Online ISBN: 978-3-540-46998-8
eBook Packages: Springer Book Archive